chiark / gitweb /
Merge branch 'tidy' into 'main' master jarrg-1.1.1
authorIan Jackson <ywiivi@fyvzl.net>
Sun, 9 Apr 2023 09:56:43 +0000 (09:56 +0000)
committerIan Jackson <ywiivi@fyvzl.net>
Sun, 9 Apr 2023 09:56:43 +0000 (09:56 +0000)
Fixes to build-sh arising from release process for 1.1.0

See merge request yarrg/jarrg!6


Trivial merge