Merge remote branch 'origin/master' into wosch
authorWolfram Schneider <wosch@indexdata.dk>
Fri, 18 Jul 2014 14:35:54 +0000 (14:35 +0000)
committerWolfram Schneider <wosch@indexdata.dk>
Fri, 18 Jul 2014 14:35:54 +0000 (14:35 +0000)
commit0810b52cbeda29b2821ce4779615599a4bb316f2
tree134f5609f42ac0c744d3ffd28874c6847b99260d
parent5051adc5354fe4267c1b3532b088384dcb57f9fb
parentbca1f11850b2b11dde1e100b454b661dbc8fde94
Merge remote branch 'origin/master' into wosch