| commit | 77f9984cc34961bd942797f921fe448c3511518b | [log] [tgz] |
|---|---|---|
| author | Gilles Peskine <gilles.peskine@arm.com> | Sat Dec 17 01:52:35 2022 +0100 |
| committer | GitHub <noreply@github.com> | Sat Dec 17 01:52:35 2022 +0100 |
| tree | c53fb95111dd7e7ccde002d181e6fd9dfb279fe3 | |
| parent | fbc115f43c200b942e5fad0b4f7e18526ea05247 [diff] | |
| parent | f91090e4a34e1ccc1d6caf996a62f01796c18a76 [diff] |
Merge pull request #6810 from davidhorstmann-arm/fix-check-names-enum-regex Fix an incorrect regex in check_names.py