Merge branch '20757-ctr-shell-settings'
authorTom Clegg <tom@curii.com>
Tue, 29 Aug 2023 13:16:00 +0000 (09:16 -0400)
committerTom Clegg <tom@curii.com>
Tue, 29 Aug 2023 13:16:00 +0000 (09:16 -0400)
commitcd84111169de72138bf831690946031d5a3c156a
tree44899790aced26895502505447ac4abc895073bf
parent29ad3b7333681e4e7b712da3a2c0244b23afa095
parentd69e82869d237a5665142cdfe1d783e8fb49d23d
Merge branch '20757-ctr-shell-settings'

fixes #20757

Arvados-DCO-1.1-Signed-off-by: Tom Clegg <tom@curii.com>