Revision ecf82d1928d5eac4b63fcf1bae212a0901e7dd42

Committed on 11/04/2019 6:23 am by Luca Realdi <[email protected]> [GitHub Diff]

fix editor_warning access check

Share your information