commit | 52f4c8d4d790aa18c6f70c63632e13573cd3049d | [log] [tgz] |
---|---|---|
author | Nico Huber <nico.huber@secunet.com> | Tue Jan 09 13:57:33 2024 +0100 |
committer | Nico Huber <nico.huber@secunet.com> | Tue Jan 09 16:49:01 2024 +0100 |
tree | 4d51269f5c7cec3d392f3f1c6681bca2278c2372 | |
parent | 96a0b0ebedc254be2b2915d8a449b6c4fae0ca93 [diff] |
ext2: Further split our state record To assist proving that the metadata doesn't change.