Merge branch '16803-shell-sync-tokens' refs #16803
authorPeter Amstutz <peter.amstutz@curii.com>
Thu, 3 Sep 2020 18:30:48 +0000 (14:30 -0400)
committerPeter Amstutz <peter.amstutz@curii.com>
Thu, 3 Sep 2020 18:30:48 +0000 (14:30 -0400)
Arvados-DCO-1.1-Signed-off-by: Peter Amstutz <peter.amstutz@curii.com>


Trivial merge