Merge pull request #64 from daringer/master
authorThomas B <redacted>
Sun, 3 Nov 2019 21:58:15 +0000 (22:58 +0100)
committerGitHub <redacted>
Sun, 3 Nov 2019 21:58:15 +0000 (22:58 +0100)
minor, but breaking; no touching [ or ] in expr. in bash allowed


Trivial merge
git clone https://git.99rst.org/PROJECT