tree 4d51269f5c7cec3d392f3f1c6681bca2278c2372
parent 96a0b0ebedc254be2b2915d8a449b6c4fae0ca93
author Nico Huber <nico.huber@secunet.com> 1704805053 +0100
committer Nico Huber <nico.huber@secunet.com> 1704815341 +0100

ext2: Further split our state record

To assist proving that the metadata doesn't change.