Repo hotfix

Merged Andreas Hamacher requested to merge repo_hotfix into master

Merge request reports