Revision ecf82d1928d5eac4b63fcf1bae212a0901e7dd42

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

fix editor_warning access check