Revision 6297795afdecc7ad55f1a9e4c1003e7bb876cdc4

Committed on 07/12/2022 7:33 am by Luca Realdi <luca.realdi@opencontent.it> [GitHub Diff]

Corregge un problema nella generazione del message id