Merge remote branch 'origin/master' into wosch
authorWolfram Schneider <wosch@indexdata.dk>
Mon, 21 Jul 2014 13:51:11 +0000 (13:51 +0000)
committerWolfram Schneider <wosch@indexdata.dk>
Mon, 21 Jul 2014 13:51:11 +0000 (13:51 +0000)
commit94edf22d8d8ce6f5437f9cc9aa922fc3c108b60d
treeab105bcae93fef90247f71f86c3b48b7635df052
parent0810b52cbeda29b2821ce4779615599a4bb316f2
parentcda252b2900ca0ec90ec32b7c3b7f963b1024187
Merge remote branch 'origin/master' into wosch