Pull in latest devel

Oliver Falkrequested to merge
devel into master

Merge request reports