Merge remote-tracking branch 'shared/master' master
authorkwadronaut <kwadronaut@leap.se>
Wed, 7 Nov 2018 14:43:41 +0000 (15:43 +0100)
committerkwadronaut <kwadronaut@leap.se>
Wed, 7 Nov 2018 14:43:41 +0000 (15:43 +0100)

Trivial merge