Revision 8e946d29f61eba96b7bde9018d2de45b1caa366a

Committed on 09/06/2023 12:56 am by Luca Realdi <luca.realdi@opencontent.it> [GitHub Diff]

remove message prefix