Skip to content

Use eclipse-xsemantics as the GitHub organization instead of eclipse#188

Merged
LorenzoBettini merged 1 commit intoeclipse-xsemantics:masterfrom
merks:pr-fix-setup
Feb 5, 2026
Merged

Use eclipse-xsemantics as the GitHub organization instead of eclipse#188
LorenzoBettini merged 1 commit intoeclipse-xsemantics:masterfrom
merks:pr-fix-setup

Commits

Commits on Feb 5, 2026