Revision 1f64dc7aaa88cf6dc5f8b1e9db0d02b2abeae13c

Committed on 06/12/2023 12:43 am by Luca Realdi <luca.realdi@opencontent.it> [GitHub Diff]

Fix regression in commit #148b67de3a7b6a030d503db45220c2e15f6ba31e Avoid fatal error