Commit 143c0379 authored Jul 07, 2019 by Andreas Klöckner

Merge branch 'py3-tag-ci' into 'master'

Switch CI over to 'python3' tag

See merge request !4