Commit 9e020ff6 authored Oct 28, 2018 by Andreas Klöckner

Merge branch 'flake8-3-6-0' into 'master'

Placate flake8 3.6

See merge request inducer/grudge!28