Revision e1cb4e4ce53110cccc45483af08af4c229177cad

Committed on 04/12/2023 6:13 am by Luca Realdi <luca.realdi@opencontent.it> [GitHub Diff]

Avoid fatal error