Merge branch 's1707' of ssh://gimli2/srv/cadc/git/wopencadc into s1707