Merge dev branch into master branch

Dev branch is not needed anymore.

Merge request reports

Loading