Merge remote branch 'origin/master' into wosch
authorWolfram Schneider <wosch@indexdata.dk>
Mon, 7 Jul 2014 14:52:21 +0000 (14:52 +0000)
committerWolfram Schneider <wosch@indexdata.dk>
Mon, 7 Jul 2014 14:52:21 +0000 (14:52 +0000)
commit034500d2c96eb15ac5a0106c7f33be0ea86df705
treea4258e4ccd0fde5d7c7b6c19d055e11ce41aa8c1
parent4c28b602ea9f9cfa1cf867495f25db8a29e83877
parent8fe63c71f79f1689f4fa61e6f4f2dcfa6dd2d7af
Merge remote branch 'origin/master' into wosch