Skip to content

chore: bump @leanprover/unicode-input to 0.1.13 - #801

Merged
mhuisi merged 1 commit into
masterfrom
bump/unicode-input-0.1.13
Oct 12, 2026
Merged

chore: bump @leanprover/unicode-input to 0.1.13#801
mhuisi merged 1 commit into
masterfrom
bump/unicode-input-0.1.13

chore: bump @leanprover/unicode-input to 0.1.13

a199d14
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar