Commit 47abf8cb authored Aug 29, 2018 by Andreas Klöckner

Merge branch 'bench1' into 'master'

Use egg in pip url

See merge request !95