Skip to content

Fix #1492#1855

Open
arnaudgelas wants to merge 1 commit intoinformalsystems:mainfrom
arnaudgelas:fix-1492
Open

Fix #1492#1855
arnaudgelas wants to merge 1 commit intoinformalsystems:mainfrom
arnaudgelas:fix-1492

Commits

Commits on Jan 21, 2026