Merge remote branch 'origin/master' into wosch
authorWolfram Schneider <wosch@indexdata.dk>
Tue, 6 May 2014 07:07:06 +0000 (07:07 +0000)
committerWolfram Schneider <wosch@indexdata.dk>
Tue, 6 May 2014 07:07:06 +0000 (07:07 +0000)
commit40c4cf423007caf35606c53b39f16958e0c55010
tree89436322bff307012f8edf090385ac327c007959
parentb307487680844b4844f79fc7053bb280315e3d29
parentaf9cab5eefe1e3638127c1873191fe5db736738f
Merge remote branch 'origin/master' into wosch