[sr-dev] git:5.1:6e85e29f: Merge pull request #1388 from oyvindkolbu/5.1