tree 4530c067cb5d63a1556d793d753f274f4feeee67
parent 8e4b9f8fc355b441f8c50f89d4792edbdfbaa0e0
author Nico Huber <nico.huber@secunet.com> 1707697519 +0100
committer Nico Huber <nico.huber@secunet.com> 1707697519 +0100

ext2: Fix two minor proof issues