Commit df08d27e authored Aug 28, 2018 by Andreas Klöckner

Merge branch 'remove-futures' into 'master'

No future(s)

See merge request !134