projects / arvados.git / commitdiff
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 0dcb211 9ffdf93)
Merge branch '18805-easy-static-compilation'
authorWard Vandewege <ward@curii.com>
Mon, 28 Feb 2022 21:17:42 +0000 (16:17 -0500)
committerWard Vandewege <ward@curii.com>
Mon, 28 Feb 2022 21:19:11 +0000 (16:19 -0500)
closes #18805

Arvados-DCO-1.1-Signed-off-by: Ward Vandewege <ward@curii.com>


Trivial merge