Revision 7c48f700904439c24ef8648dfe731b3792740b62

Committed on 24/11/2022 5:20 am by Luca Realdi <luca.realdi@opencontent.it> [GitHub Diff]

Bugfix