Merge branch 'wosch' of ssh://git.indexdata.com:222/home/git/private/mkws into wosch
authorWolfram Schneider <wosch@indexdata.dk>
Thu, 22 Aug 2013 11:02:51 +0000 (11:02 +0000)
committerWolfram Schneider <wosch@indexdata.dk>
Thu, 22 Aug 2013 11:02:51 +0000 (11:02 +0000)

Trivial merge