Merge remote branch 'origin/master' into wosch
authorWolfram Schneider <wosch@indexdata.dk>
Mon, 7 Apr 2014 16:04:18 +0000 (16:04 +0000)
committerWolfram Schneider <wosch@indexdata.dk>
Mon, 7 Apr 2014 16:04:18 +0000 (16:04 +0000)
commit5a460ea2b5cb337084b500910e191d0276a50bb8
treed62efdd081baef015a45500767fec2a581201848
parent6e888e413ec6754c540988844dd5fdfde39f61c0
parent46fa2e3254e4fcf6156166dc485b95012211f10f
Merge remote branch 'origin/master' into wosch