Merge remote branch 'origin/master' into wosch
authorWolfram Schneider <wosch@indexdata.dk>
Fri, 7 Nov 2014 22:15:35 +0000 (22:15 +0000)
committerWolfram Schneider <wosch@indexdata.dk>
Fri, 7 Nov 2014 22:15:35 +0000 (22:15 +0000)
commit34677a079e681d16365e175e3cb2116a25428dd8
tree3d0ab1cf6d7d472d0cca4e291f1ebb5f2342ceef
parentce37a09dfef064ccff9d39c97fccedbc29976925
parentcc4a5fcbf4976926b4a2a16640c526619b9d971a
Merge remote branch 'origin/master' into wosch