Merge pull request #2022 from DPTJKKVH/master
authorSteven Black <redacted>
Mon, 25 Jul 2022 13:55:59 +0000 (09:55 -0400)
committerGitHub <redacted>
Mon, 25 Jul 2022 13:55:59 +0000 (09:55 -0400)
commitc5a79cec41c1e2312a582a0a34284dcf8ae08473
treefe3d514ad15bbd15ff9fff067397ae04a49f1efa
parent236adfb388abd25087374fc63c803c0a2a18c13b
parent057f4ed0f403520f0ab36cce9e04d866b9b29bd4
Merge pull request #2022 from DPTJKKVH/master

Fix breakage for Linux
git clone https://git.99rst.org/PROJECT