Merge remote branch 'origin/master' into wosch
authorWolfram Schneider <wosch@indexdata.dk>
Mon, 25 Aug 2014 11:24:55 +0000 (11:24 +0000)
committerWolfram Schneider <wosch@indexdata.dk>
Mon, 25 Aug 2014 11:24:55 +0000 (11:24 +0000)
commitac631fa1fa1ce18a4b878537a14fd99c9754aef5
tree0a6e5817eb77707f39292582785a80636530ff75
parent39713079244c0dbb977c4c04ee0d76eb18dc464f
parent86c87d8d1ea95bd73da0ef848476cb808b181004
Merge remote branch 'origin/master' into wosch