Merge remote branch 'origin/master' into wosch
authorWolfram Schneider <wosch@indexdata.dk>
Fri, 21 Jun 2013 09:04:26 +0000 (09:04 +0000)
committerWolfram Schneider <wosch@indexdata.dk>
Fri, 21 Jun 2013 09:04:26 +0000 (09:04 +0000)
commit6b8a2657249b9280fd89dbf80ac2523e94f8361c
tree7914e350c7a491887bab08dd574311a6542c18ab
parent01d95c59750f32341a720843030e3c44b264f8e1
parentf23cdcbe7a13123a85e0198b02380318091c7c4e
Merge remote branch 'origin/master' into wosch