Skip to content

Fix missed rename of StrictPoset to Quoset#1185

Merged
mortberg merged 1 commit intoagda:masterfrom
LuuBluum:StrictPosetTypoFix
Feb 12, 2025
Merged

Fix missed rename of StrictPoset to Quoset#1185
mortberg merged 1 commit intoagda:masterfrom
LuuBluum:StrictPosetTypoFix

Commits

Commits on Feb 12, 2025