Skip to content

fix: make needextend local - #156

Merged
RolandJentschETAS merged 1 commit into
eclipse-score:mainfrom
etas-contrib:fix-needextend
Aug 25, 2026
Merged

fix: make needextend local#156
RolandJentschETAS merged 1 commit into
eclipse-score:mainfrom
etas-contrib:fix-needextend

Commits

Commits on Aug 25, 2026