Merge branch '17343-workbench1-optional'
authorTom Clegg <tom@curii.com>
Mon, 26 Apr 2021 13:47:01 +0000 (09:47 -0400)
committerTom Clegg <tom@curii.com>
Mon, 26 Apr 2021 13:47:01 +0000 (09:47 -0400)
closes #17343

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


Trivial merge