Merge branch 'master' of ssh://hummus/home/git/pub/git-tools
authorAdam Dickmeiss <adam@indexdata.dk>
Fri, 29 Apr 2016 18:48:56 +0000 (18:48 +0000)
committerAdam Dickmeiss <adam@indexdata.dk>
Fri, 29 Apr 2016 18:48:56 +0000 (18:48 +0000)

Trivial merge