-
Committer:
Martin
-
Date:
2018-11-17 16:53:10 UTC
-
mto:
This revision was merged to the branch mainline in
revision
7186.
-
Revision ID:
gzlist@googlemail.com-20181117165310-iti8yu4xba2d7p3j
Fix E71* lint errors
Mostly moving nots around and a few equality to idenity check changes.