Revision 7243c77ff2efabe2f9158e3b641f06b26ff5051c

Committed on 06/11/2018 5:11 am by Luca Realdi <[email protected]> [GitHub Diff]

avoid fatal error in corrupted relation