Merge branch 'master' of git+ssh://evolvis.org/scmrepos/git/shellsnippets/shellsnippets
authormirabilos <t.glaser@tarent.de>
Sat, 23 Nov 2019 23:12:05 +0000 (00:12 +0100)
committermirabilos <mirabilos@evolvis.org>
Sat, 23 Nov 2019 23:12:05 +0000 (00:12 +0100)

Trivial merge