Revision f17854602c0a7825b25a3d52b312bc905927fc56

Committed on 29/01/2024 3:13 am by Luca Realdi <luca.realdi@opencontent.it> [GitHub Diff]

Minor bug fix