Merge remote branch 'origin/master' into wosch
authorWolfram Schneider <wosch@indexdata.dk>
Wed, 9 Jul 2014 12:07:19 +0000 (12:07 +0000)
committerWolfram Schneider <wosch@indexdata.dk>
Wed, 9 Jul 2014 12:07:19 +0000 (12:07 +0000)
commite3d39dcac6d346b9ec9a7a8f7395a843bc7cea3a
tree4080d9ef458eb64b1a711e3eb54934186cdb8328
parent2a25ec1053cb99c12dbcf30259c1cc29b6dadb97
parent65de3b4743d67b2bcaf408bf4bae47e4131d7be9
Merge remote branch 'origin/master' into wosch