Merge "Use a more exact grep for fetching cfg options"
authorAndrew Grimberg <agrimberg@linuxfoundation.org>
Sat, 23 Jun 2018 14:56:30 +0000 (14:56 +0000)
committerGerrit Code Review <gerrit@linuxfoundation.org>
Sat, 23 Jun 2018 14:56:30 +0000 (14:56 +0000)

Trivial merge