mirror of
https://github.com/leanprover/lean4.git
synced 2026-03-17 18:34:06 +00:00
I just made this mistake again (twice!) and had to redo `v4.24.1` and `v4.25.2`. Let's prevent it from happening.
I just made this mistake again (twice!) and had to redo `v4.24.1` and `v4.25.2`. Let's prevent it from happening.