Merge branch '20919-fix-proxy-url'
authorTom Clegg <tom@curii.com>
Mon, 4 Sep 2023 14:11:32 +0000 (10:11 -0400)
committerTom Clegg <tom@curii.com>
Mon, 4 Sep 2023 14:11:32 +0000 (10:11 -0400)
fixes #20919

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


Trivial merge