Merge pull request #1861 from Yann-lms/checkpatch
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Wed, 13 Mar 2019 13:58:10 +0000 (13:58 +0000)
committerGitHub <noreply@github.com>
Wed, 13 Mar 2019 13:58:10 +0000 (13:58 +0000)
commit36a540d6c8d3e5c0d0265cfae7cc0686e71e8353
tree94db893175d5ec0b2caf671534067f041d7468f3
parent69905f74b5cefd89846257e9de0477f96049219f
parent89d1d372f63a008b63b996b0a9381b7ea4f4dc9e
Merge pull request #1861 from Yann-lms/checkpatch

Update checkpatch options