Merge branch 'master' into mirio/geoplanetary
authorMirio <opivy@hotmail.de>
Mon, 16 Mar 2015 14:18:18 +0000 (15:18 +0100)
committerMirio <opivy@hotmail.de>
Mon, 16 Mar 2015 14:18:18 +0000 (15:18 +0100)

Trivial merge