Merge branch 'master' into mirio/geoplanetary
authorMirio <opivy@hotmail.de>
Thu, 9 Jul 2015 19:10:52 +0000 (21:10 +0200)
committerMirio <opivy@hotmail.de>
Thu, 9 Jul 2015 19:10:52 +0000 (21:10 +0200)

Trivial merge