| commit | 989bfe274220748f0cb02ee0cae73cce8f78eae4 | [log] [tgz] |
|---|---|---|
| author | Nico Huber <nico.huber@secunet.com> | Mon Feb 12 01:25:19 2024 +0100 |
| committer | Nico Huber <nico.huber@secunet.com> | Mon Feb 12 01:25:19 2024 +0100 |
| tree | 4530c067cb5d63a1556d793d753f274f4feeee67 | |
| parent | 8e4b9f8fc355b441f8c50f89d4792edbdfbaa0e0 [diff] |
ext2: Fix two minor proof issues