Merge branch '18659-cast-devnum'
authorTom Clegg <tom@curii.com>
Thu, 20 Jan 2022 18:49:52 +0000 (13:49 -0500)
committerTom Clegg <tom@curii.com>
Thu, 20 Jan 2022 18:49:52 +0000 (13:49 -0500)
commitda58ec28659f5167f9658be5714731acee57dfb1
tree310d7b962e4e983e145d1c87e36a8a1f945cbaf7
parentdd056538060528e6f7b7b48183dfcaeac7882638
parent78dff0eb731f126c59d92e56c90110e561b24340
Merge branch '18659-cast-devnum'

fixes #18659

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