Merge remote branch 'origin/master' into wosch
authorWolfram Schneider <wosch@indexdata.dk>
Mon, 28 Apr 2014 08:15:12 +0000 (08:15 +0000)
committerWolfram Schneider <wosch@indexdata.dk>
Mon, 28 Apr 2014 08:15:12 +0000 (08:15 +0000)
commit0807a57fe38e3b78fcbc4b8649d4672777a2633c
tree5e4e9670bb9854867c328b970a45660fe1f619e5
parentd13fec8dd2b8ad0c9a898e63c4b69fbc51bb5672
parenta1a99d008c1bf102129b8cfd7ad15bf5168fc41d
Merge remote branch 'origin/master' into wosch