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)
commit522c0f861c2a4bda6d74c25399ea1154f331f152
tree8570474aaada25098b1f9e4da37af32d53638d98
parent0dcb211b2c2511b86d9bd55c1e059bf44342ca91
parent9ffdf93f954bfe7bfe2269d361961d653caea146
Merge branch '18805-easy-static-compilation'

closes #18805

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