16513: Merge branch 'master' into 16513-keep-exercise-improvements
authorWard Vandewege <ward@curii.com>
Fri, 19 Jun 2020 15:36:55 +0000 (11:36 -0400)
committerWard Vandewege <ward@curii.com>
Fri, 19 Jun 2020 15:37:13 +0000 (11:37 -0400)
commit1ab33aed37fdcd448fe224375951089282901c48
tree3c08065ba32a7c71a61f4e55661afdc2d32fd7b5
parentcba1b4145e8fcc57a851839f77fd020e5aaff722
parentdc9af1e4fb68ae50f0db941a4d5413fb1b3d009e
16513: Merge branch 'master' into 16513-keep-exercise-improvements

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