Fix for bug #3715 (!124 · Merge requests · nordugrid / arc

nordugrid-arc-bot requested to merge cherrypick-123-for-next-major into next-major Jun 07, 2018

Can't show this merge request because the source branch cherrypick-123-for-next-major is missing from project nordugrid/arc. Close this merge request or update the source branch.