Revision 5729b92b3acac78f30dbb90ac960bba5a0ef6d34

Committed on 26/03/2021 1:21 pm by Luca Realdi <luca.realdi@opencontent.it> [GitHub Diff]

Avoid fatal error in schema generation