Merge remote branch 'origin/master' into wosch
authorWolfram Schneider <wosch@indexdata.dk>
Wed, 9 Jul 2014 12:17:57 +0000 (12:17 +0000)
committerWolfram Schneider <wosch@indexdata.dk>
Wed, 9 Jul 2014 12:17:57 +0000 (12:17 +0000)
commit9ab674f3d10735e310623488cad03269c4c28bd5
tree2e666608fa1e6614fd04321c3db07e8a1a4fd115
parente3d39dcac6d346b9ec9a7a8f7395a843bc7cea3a
parent99577880ea20f7ea5bf4b9d53f454ea3860344bc
Merge remote branch 'origin/master' into wosch