Revision 8854a93a3c194858647779fed0184712ce22c3ca

Committed on 10/04/2019 6:59 am by Luca Realdi <lr@opencontent.it> [GitHub Diff]

Fix int cast + avoid die()

Share your information