tree 94db893175d5ec0b2caf671534067f041d7468f3
parent 2e05ea14a3b6fe0dc0443cd8b74cd03709f557e6
parent 6ba648db607ada82cbe9c5c28daa0f1c3a49af1c
author Dimitris Papastamos <dimitris.papastamos@arm.com> 1552485490 +0000
committer GitHub <noreply@github.com> 1552485490 +0000

Merge pull request #1861 from Yann-lms/checkpatch

Update checkpatch options