Merge remote branch 'origin/master' into wosch
authorWolfram Schneider <wosch@indexdata.dk>
Mon, 19 May 2014 15:50:58 +0000 (15:50 +0000)
committerWolfram Schneider <wosch@indexdata.dk>
Mon, 19 May 2014 15:50:58 +0000 (15:50 +0000)
commit36192b90cd53bb600aac77662fc6656ed4d75414
tree897fcc93d463ea36354deb6277624d4c8c09af78
parent87e437e95ac144302591a2e5515aec09efcd7200
parent4f02a5871f4172628a30110a248a1f262300c62c
Merge remote branch 'origin/master' into wosch