Merge for release

Merged Markus Scheidgen requested to merge v0.9.3 into master

Merge request reports