Merge remote branch 'origin/master' into wosch
authorWolfram Schneider <wosch@indexdata.dk>
Thu, 24 Apr 2014 14:44:05 +0000 (14:44 +0000)
committerWolfram Schneider <wosch@indexdata.dk>
Thu, 24 Apr 2014 14:44:05 +0000 (14:44 +0000)
commit7e041f64182dd9d2ca88e4c3e61f4ffbcd1c4535
treefe35ac754a031b8c6cf3363144f4db2127628eda
parentcfb1e58a5d872b223f3cc921592c0dd883351950
parented615f7f5189aeb0c5adac091a64ba8f577a26f4
Merge remote branch 'origin/master' into wosch