Merge remote branch 'origin/master' into wosch
authorWolfram Schneider <wosch@indexdata.dk>
Thu, 8 May 2014 14:53:55 +0000 (14:53 +0000)
committerWolfram Schneider <wosch@indexdata.dk>
Thu, 8 May 2014 14:53:55 +0000 (14:53 +0000)
commit58260adb329a4e81a789b0076a1d005da0e94d58
tree206130dc0e341bf6abb3374cffd98d723e3ac913
parent16ad87179fa421119c267c6527b5eb797b0f2297
parent51e09fd247ae34bcfb09d5f0f28e92c4bbeb4759
Merge remote branch 'origin/master' into wosch