Merge remote branch 'origin/master' into wosch
authorWolfram Schneider <wosch@indexdata.dk>
Wed, 16 Apr 2014 15:02:37 +0000 (15:02 +0000)
committerWolfram Schneider <wosch@indexdata.dk>
Wed, 16 Apr 2014 15:02:37 +0000 (15:02 +0000)
commitca452bc42c8f645cebb4d70f9be0b2864037118c
tree3a5d6676e1969d077d124c318624e1dccb51abd7
parentac9e4a35a74918cd00feff5162d2e0e08c796d8f
parentba3eeec06416b30b6cc00f19a9b8d362bb1c0700
Merge remote branch 'origin/master' into wosch