tree 934f4b2022a782d1c30c4e645480649550df9008
parent 05371be430d6e745e182150c63bc86d46723564d
parent aa9dfbfdf41b064673ac4ccb99244aa097e08a0b
author Dave Rodgman <dave.rodgman@arm.com> 1617805743 +0100
committer GitHub <noreply@github.com> 1617805743 +0100
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJgbcGvCRBK7hj4Ov3rIwAAdHIIAKObn5L6XUTu4Sq1/G7s+HtZ
 4zkKxDJtcHMjBvxuVLByBD1Lf3FhX+UgZQN/zVZQcKFZQ4X+uxPt/Xg0CiBNBYNc
 aaCw2QEQGcEmREQzzIHGg3/Ejqc20zhx7UHgoWmv/F7rmiEGacKFMWugIF1Vq8F8
 5lgePVqiidoudd8x+kEdv17mJJZtFo9cyyjDdMTXmE9l1KprTKGy05RDgyfeLmT+
 e86qPWXAE4uF8Nwt1HpAb9N5f/81mW3ndcoMBByZJveogLx3N3byBUuJNxTN8TVJ
 60X0wMyOq6Lha+lMAmFjBYIz6y3SbTuGjUwPkIlitZT297MPKKt41qwK1Cysnhk=
 =5M0I
 -----END PGP SIGNATURE-----
 

Merge pull request #4310 from daverodgman/check-names-grep-backport-2.16

Backport 2.16: Make check-names.sh accept any grep