Merge remote branch 'origin/master' into wosch
authorWolfram Schneider <wosch@indexdata.dk>
Thu, 8 May 2014 07:57:02 +0000 (07:57 +0000)
committerWolfram Schneider <wosch@indexdata.dk>
Thu, 8 May 2014 07:57:02 +0000 (07:57 +0000)
commit16ad87179fa421119c267c6527b5eb797b0f2297
tree3e707d93fea5f03ee1804f3cda78f5b0433612f6
parentdb039259ace9fecb45fbee5ad9dd0b891ca64f9d
parentda6a16eb6e035528582de213f9ecec8d085e2503
Merge remote branch 'origin/master' into wosch