Revision db769afbaa3b18091f85c327521b78655d6205ad

Committed on 17/06/2021 10:01 am by Luca Realdi <[email protected]> [GitHub Diff]

Bug fix in class edit