projects / arvados.git / commitdiff
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: dd05653 78dff0e)
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)
fixes #18659

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


Trivial merge