Skip to content

Explain loop-opening semantics#4440

Open
baggepinnen wants to merge 1 commit into
masterfrom
baggepinnen-patch-9
Open

Explain loop-opening semantics#4440
baggepinnen wants to merge 1 commit into
masterfrom
baggepinnen-patch-9

Commits

Commits on Apr 10, 2026