Merge remote branch 'origin/master' into wosch
authorWolfram Schneider <wosch@indexdata.dk>
Thu, 10 Jul 2014 12:11:43 +0000 (12:11 +0000)
committerWolfram Schneider <wosch@indexdata.dk>
Thu, 10 Jul 2014 12:11:43 +0000 (12:11 +0000)
commita62e9fbbe5f453c1566c35bce1a573d4619fb98d
tree4e9abf4cfc874c02e3e7af371d2b00b3b94eac04
parent5829df51fdd522129d789b2108d90414d49b880b
parent52d26262990fe90a6b02ac5a92351404bf1ff990
Merge remote branch 'origin/master' into wosch