Revision e35fab18d514e3f6c8ecd94581f2ae9663b42d72

Committed on 27/11/2023 12:30 am by Luca Realdi <luca.realdi@opencontent.it> [GitHub Diff]

Coding style and small bug fixes