| commit | 481ff8e621e0f737320d3039f90eb53c60565907 | [log] [tgz] |
|---|---|---|
| author | Gilles Peskine <gilles.peskine@arm.com> | Tue Nov 17 20:33:01 2020 +0100 |
| committer | GitHub <noreply@github.com> | Tue Nov 17 20:33:01 2020 +0100 |
| tree | 884e95c722d9eee36191c12560cef2cfbf6f918b | |
| parent | a3e57531d14d45d2ccb9d7e92026406b54d222ff [diff] | |
| parent | 8ffc158c3652ef221f91d534ea67bcbaf6fcc6d0 [diff] |
Merge pull request #3886 from gilles-peskine-arm/error-include-string-2.16 Backport 2.16: Fix several configuration-related issues