Merge "Fix jjb-verify job to ignore the docs directory"
authorAndrew Grimberg <agrimberg@linuxfoundation.org>
Mon, 16 Oct 2017 16:57:24 +0000 (16:57 +0000)
committerGerrit Code Review <gerrit@linuxfoundation.org>
Mon, 16 Oct 2017 16:57:24 +0000 (16:57 +0000)

Trivial merge