Skip to content

[pull] main from eclipse-xtext:main#22

Merged
pull[bot] merged 1 commit intoimhotep82:mainfrom
eclipse-xtext:main
Mar 30, 2026
Merged

[pull] main from eclipse-xtext:main#22
pull[bot] merged 1 commit intoimhotep82:mainfrom
eclipse-xtext:main

Commits

Commits on Mar 30, 2026