tree 04ad1d1d733d7c5746e027dca73400df3dde8dfd
parent b42025977706261ac51442f90a0a0c72a852b9a8
parent 95caad37430dbd58dcc772dfdb5044edfa6e8245
author Dave Rodgman <dave.rodgman@arm.com> 1617805664 +0100
committer GitHub <noreply@github.com> 1617805664 +0100
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJgbcFgCRBK7hj4Ov3rIwAAdHIIAEk69T0Aj4aUSYUOdTcDuSlS
 XVTDEC2w3d1J3EmSBWg8VHgUu8Lj3vv1iVGSv43pCidW7GpLsbhCWZdwXk6vRubm
 ZTxG4AoGAhqGQrtNGST31N+ffcNEvK86Pu/oYfb5hBq0JAAhyo7Y8rXmFoMC9OAc
 pJozgjndpJXoydkW78MhKDBqIXQMf0ZdthjgRF7n2sk21lwVcWDyrR/sCZkNaZ15
 JR2W/hSyTM/wIre9h8oR/VQd/3zsdaWaYiIdhTbYD/jD6xOKLZPUCIumgIQwxBgL
 0+mWyLhWOHATRVD45BWNzwWLIRtTp7D5cxxoKvE82f6Dh3fh2vJbu9xrkxwftYg=
 =FwqY
 -----END PGP SIGNATURE-----
 

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

Make check-names.sh accept any grep