Skip to content

chore: bump @leanprover/unicode-input to 0.1.11#783

Merged
mhuisi merged 1 commit into
masterfrom
bump/unicode-input-0.1.11
May 27, 2026
Merged

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

chore: bump @leanprover/unicode-input to 0.1.11

e534bbf
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar