Commit e4d02093 authored Dec 06, 2018 by Andreas Klöckner

Merge branch 'scan-fixes' into 'master'

Minor fixes to scan

See merge request inducer/pyopencl!66