Skip to content

Minor improvements to compilation speed#100

Merged
jadenPete merged 2 commits intolucid-masterfrom
jpeterson-speeds-up-compilation-marginally
Mar 23, 2026
Merged

Minor improvements to compilation speed#100
jadenPete merged 2 commits intolucid-masterfrom
jpeterson-speeds-up-compilation-marginally

Commits

Commits on Mar 23, 2026