Skip to content

fix: preserve revert argument order#13964

Open
asvitha2000 wants to merge 2 commits into
leanprover:masterfrom
asvitha2000:fix-revert-argument-order
Open

fix: preserve revert argument order#13964
asvitha2000 wants to merge 2 commits into
leanprover:masterfrom
asvitha2000:fix-revert-argument-order

fix: write revert order test without BOM

6d791aa
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-body
succeeded Jun 7, 2026 in 4s