Revision 4110aba61e940e42593f53061219858052d407fb

Committed on 01/09/2021 2:39 am by Luca Realdi <lr@opencontent.it> [GitHub Diff]

Fix default clean filename

Share your information