Merge remote branch 'origin/master' into wosch
authorWolfram Schneider <wosch@indexdata.dk>
Fri, 8 Aug 2014 14:43:25 +0000 (14:43 +0000)
committerWolfram Schneider <wosch@indexdata.dk>
Fri, 8 Aug 2014 14:43:25 +0000 (14:43 +0000)
commitd2541c89727669327dc6d8c97330397d645bd4d7
treeb82ac78496fc3dbd86f7867ba7356a3442184da1
parent547b7c24599333326debc1e4a3683c30de0f9080
parent0a969a8c6a0c075be3527edd1a09b9971f5a38d8
Merge remote branch 'origin/master' into wosch