Merge branch 'master' of github.com:mirabilos/shellsnippets
authormirabilos <t.glaser@tarent.de>
Wed, 3 Oct 2018 19:26:20 +0000 (21:26 +0200)
committermirabilos <mirabilos@evolvis.org>
Wed, 3 Oct 2018 19:26:20 +0000 (21:26 +0200)

Trivial merge