Revision 854619b723cc65070946da66639086f7ce46c6ee

Committed on 15/02/2022 2:27 am by Luca Realdi <lr@opencontent.it> [GitHub Diff]

Fix empty file serialization