Commit 13dd3387 authored May 18, 2017 by Andreas Klöckner

Merge branch 'normal-fix' into 'master'

Normal fix

See merge request !15