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)
commitb4e209b67229f22b69514ded4bf494f54c3d52fc
tree4a871560c1a7912008131b279e8515dde277d689
parent62e6f735ac3e8c9cd3db53dc7407837232605d4b
parent134c799cb4ba78d5ddcd5e78515a403fcb57710a
Merge branch 'pctb' into 'main'

Turn off PCTB upload by default and improve error output

See merge request yarrg/jarrg!4