Revision 6a2b743d815a3e394eb39a754b5e001ba3d61315

Committed on 09/10/2023 5:45 pm by Luca Realdi <luca.realdi@opencontent.it> [GitHub Diff]

Typo fix