Merge remote branch 'origin/master' into wosch
authorWolfram Schneider <wosch@indexdata.dk>
Tue, 8 Jul 2014 17:09:02 +0000 (17:09 +0000)
committerWolfram Schneider <wosch@indexdata.dk>
Tue, 8 Jul 2014 17:09:02 +0000 (17:09 +0000)
commitee73f5ca095ed9a84ed4e1639c94c5d3bf6b8718
treea3de06363bb8705cc4145284400da4028d4e6b2b
parent41af6e8df5945d73d546785595c9b768cb2955df
parentc61c2a4ce84abe9e6685711fa827407ca84db915
Merge remote branch 'origin/master' into wosch