Merge "Fix jenkins-verify-images.sh crash on grep"
authorAric Gardner <agardner@linuxfoundation.org>
Fri, 29 Nov 2019 17:54:15 +0000 (17:54 +0000)
committerGerrit Code Review <gerrit@linuxfoundation.org>
Fri, 29 Nov 2019 17:54:15 +0000 (17:54 +0000)

Trivial merge