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)
commitf3c3e5dedb03b6b0de6dc5166d9006226c4ab506
tree39a7bfcee23f48822a6ecda8137138cf7bbbf3de
parentb4e209b67229f22b69514ded4bf494f54c3d52fc
parenta737f9869667e5e4c3ecd84a8260cd954bad1038
Merge branch 'tidy' into 'main'

Fixes to build-sh arising from release process for 1.1.0

See merge request yarrg/jarrg!6