| commit | 27bb62bc81118f3d083cd53ce83a1e80bcb465e8 | [log] [tgz] |
|---|---|---|
| author | Gilles Peskine <gilles.peskine@arm.com> | Wed Sep 29 12:43:09 2021 +0200 |
| committer | GitHub <noreply@github.com> | Wed Sep 29 12:43:09 2021 +0200 |
| tree | ec576f3100a111bfb5102b94def2c7422bd92682 | |
| parent | 186c0216b06c7805ff6091dc0e85ce9623b65693 [diff] | |
| parent | 1c39975a27742c3600bdd649b8ecc6c45255720e [diff] |
Merge pull request #4985 from gilles-peskine-arm/check-names-rewrite-2.2x Backport 2.x: Rewrite check-names.sh in python