Merged
chore: document white-space fix for firefox#575mhuisi merged 1 commit intoleanprover:masterfrom jakobvase:patch-1
mhuisi merged 1 commit intoleanprover:masterfrom jakobvase:patch-1
chore: document white-space fix for firefox#575
Merged
mhuisi merged 1 commit intoleanprover:masterfrom jakobvase:patch-1Feb 25, 2025
+2-1
Commits cannot be loaded
The page is unavailable due to a system error.
Try reloading the page, or if the problem persists, contact support.