Revision b1400bef465830a4b1ec0124c55c5899fd388b64

Committed on 09/04/2019 1:38 am by Luca Realdi <lr@opencontent.it> [GitHub Diff]

Debug condition