Merge remote branch 'origin/master' into wosch
authorWolfram Schneider <wosch@indexdata.dk>
Wed, 10 Sep 2014 11:06:10 +0000 (11:06 +0000)
committerWolfram Schneider <wosch@indexdata.dk>
Wed, 10 Sep 2014 11:06:10 +0000 (11:06 +0000)
commitce1bb9c5c49becae5b1b36d25b532b08ff655180
tree407384cdaac1d537c84ea92e9a9da2bb809e9634
parentac631fa1fa1ce18a4b878537a14fd99c9754aef5
parentf75e11f24f8dcbff0f27ff4b3b1c81be38f41fb4
Merge remote branch 'origin/master' into wosch