chiark / gitweb /
Merge branch 'pctb' into 'main' jarrg-1.1.0
authorIan Jackson <ywiivi@fyvzl.net>
Sun, 9 Apr 2023 09:41:03 +0000 (09:41 +0000)
committerIan Jackson <ywiivi@fyvzl.net>
Sun, 9 Apr 2023 09:41:03 +0000 (09:41 +0000)
Turn off PCTB upload by default and improve error output

See merge request yarrg/jarrg!4


Trivial merge