diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2024-10-09 20:59:35 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2024-10-09 20:59:35 +0200 |
| commit | 4a45d282d9b76d5858fe8df3dcd02b227e1e3f23 (patch) | |
| tree | 96f6dca7665f0be409e5b7656c3d27213044cdd5 /src/Erebos/Storage/Head.hs | |
| parent | 52c874ab42cd266d1b26ce1c045fcaf8eb410b32 (diff) | |
Handle unknown record item types
Changelog: Handle unknown record item types
Diffstat (limited to 'src/Erebos/Storage/Head.hs')
0 files changed, 0 insertions, 0 deletions