Merge remote branch 'origin/master' into wosch
authorWolfram Schneider <wosch@indexdata.dk>
Thu, 24 Apr 2014 13:21:03 +0000 (13:21 +0000)
committerWolfram Schneider <wosch@indexdata.dk>
Thu, 24 Apr 2014 13:21:03 +0000 (13:21 +0000)
commitcfb1e58a5d872b223f3cc921592c0dd883351950
treeca3c9878c7466652740ad0a3696b71e49f09211b
parent5940980da31aee2530b966c777e13f80a0a502b9
parenta40649a84c22976aacbf267cc519d44c098386ee
Merge remote branch 'origin/master' into wosch