devtools: fix wrong headline lowercase for arm
authorGavin Hu <gavin.hu@arm.com>
Fri, 21 Dec 2018 06:02:56 +0000 (14:02 +0800)
committerThomas Monjalon <thomas@monjalon.net>
Thu, 10 Jan 2019 09:19:01 +0000 (10:19 +0100)
commit40fd87486799d50c78e24ff90337ca1dc1debc13
treec6078b9a6ace026402d43aa06618de88f9fa732f
parent655796d2b5fb3d44166e172bb040a83979aa9fd8
devtools: fix wrong headline lowercase for arm

Change to the new wording according to Arm corp:
https://mails.dpdk.org/archives/dev/2018-October/115174.html
otherwise, "Wrong headline lowercase" may be falsely reported.

Fixes: f146ada21d1e ("scripts: add more git log checks")
Cc: stable@dpdk.org
Signed-off-by: Gavin Hu <gavin.hu@arm.com>
Acked-by: Jerin Jacob <jerinj@marvell.com>
devtools/check-git-log.sh