Revision f1dcb762aa6c121d296a8d6af0002692f15e6743

Committed on 12/08/2021 8:41 am by Luca Realdi <lr@opencontent.it> [GitHub Diff]

Fix cleanup on maximum number of attempts reached