Merge remote branch 'origin/master' into wosch
authorWolfram Schneider <wosch@indexdata.dk>
Fri, 4 Jul 2014 10:42:50 +0000 (10:42 +0000)
committerWolfram Schneider <wosch@indexdata.dk>
Fri, 4 Jul 2014 10:42:50 +0000 (10:42 +0000)
commit4c28b602ea9f9cfa1cf867495f25db8a29e83877
tree0d5d87c13b25b1ea1c4f30973dd3ad0098aa9acd
parente0caaabaf1d85e19cfa3583610ef4dd34d2398cc
parentf9575dade8727950d586a12b5ad7dde64945aba4
Merge remote branch 'origin/master' into wosch