| commit | e739fbb6c46bc15771eff0fb83becd185f1a82a3 | [log] [tgz] |
|---|---|---|
| author | Gilles Peskine <gilles.peskine@arm.com> | Thu Jul 22 16:21:02 2021 +0200 |
| committer | GitHub <noreply@github.com> | Thu Jul 22 16:21:02 2021 +0200 |
| tree | e09cbbf3ed63f4f26f6cb9686eb787aa41696315 | |
| parent | 2847f879aab89305e1f21def883c57ef0144195a [diff] | |
| parent | 2f7f574cfa568a8e04edbd3fe26339d2e1f85906 [diff] |
Merge pull request #4778 from yutotakano/fix-reserved-identifier-clash-2.16 Backport 2.16: Replace reserved identifier clashes with suitable replacements