Gilles Peskine e915d532a6 Silence pylint
Silence pylint in specific places where we're doing slightly unusual
or dodgy, but correct.
2019-02-27 11:03:25 +01:00
..
2018-10-19 15:25:10 +01:00
2019-02-27 11:03:25 +01:00