Revision 35354fd9ff8ec07e027c12557ab4cfa574984ecc

Committed on 22/07/2020 10:07 am by Luca Realdi <[email protected]> [GitHub Diff]

Corregge un bug in openpa/object