Merge branch 'master' of /srv/git/myshellconfig

This commit is contained in:
Jakobus Schürz 2020-10-30 11:52:28 +01:00
commit 1c3cdb96b8