Merge branch 'mr-c-patch-1'
authorWard Vandewege <ward@curii.com>
Fri, 17 Jul 2020 13:28:56 +0000 (09:28 -0400)
committerWard Vandewege <ward@curii.com>
Fri, 17 Jul 2020 13:28:56 +0000 (09:28 -0400)
No issue #

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


Trivial merge