Merge remote branch 'origin/master' into wosch
authorWolfram Schneider <wosch@indexdata.dk>
Fri, 18 Apr 2014 18:02:40 +0000 (18:02 +0000)
committerWolfram Schneider <wosch@indexdata.dk>
Fri, 18 Apr 2014 18:02:40 +0000 (18:02 +0000)
commit5294a8b6b24298d327f9db1c9e733df09e2b5c84
treecd658488a32458f452e699f6489452b771802142
parente0097bcc301d00adac87eabfa2f1bb6b4be25255
parent0a911e328080194a1dd92c6f69ae12a84fdba5df
Merge remote branch 'origin/master' into wosch