Commit d8e0248d authored May 12, 2020 by Andreas Klöckner

Merge branch 'placate-flake8-2020-05' into 'master'

Placate flake8 2020 05

See merge request !108