Revision 5729b92b3acac78f30dbb90ac960bba5a0ef6d34

Committed on 26/03/2021 1:21 pm by Luca Realdi <[email protected]> [GitHub Diff]

Avoid fatal error in schema generation