commit | a337176b42fa505a2a22dccff824d9f6a9509aa7 | [log] [tgz] |
---|---|---|
author | Gilles Peskine <gilles.peskine@arm.com> | Tue Nov 17 20:32:57 2020 +0100 |
committer | GitHub <noreply@github.com> | Tue Nov 17 20:32:57 2020 +0100 |
tree | b94f3a0866db1df0604330535d26f585c1d0c5f2 | |
parent | 2d847a5e07af82722f03b743c563bbf5fa666401 [diff] | |
parent | d754c8bad6bdeb738e480d2705340464b14f3818 [diff] |
Merge pull request #3888 from gilles-peskine-arm/error-include-string-2.7 Backport 2.7: Fix several configuration-related issues