Revision 727bb656649d1d745fabb689ba35fde7e0370063

Committed on 10/03/2022 12:38 am by Luca Realdi <lr@opencontent.it> [GitHub Diff]

Bug fix duplicate encoding