| commit | 198fbc2c991dc033589d9289e463f757bd3476bf | [log] [tgz] |
|---|---|---|
| author | Dave Rodgman <dave.rodgman@arm.com> | Mon Sep 11 15:09:06 2023 +0000 |
| committer | GitHub <noreply@github.com> | Mon Sep 11 15:09:06 2023 +0000 |
| tree | 713684af82cce253ccdc5b6a408b073883742cc3 | |
| parent | 06c466d869094390e1d48cb05649ea118b273f61 [diff] | |
| parent | 3a11771baef328f0e6782341631ed15091dcd514 [diff] |
Merge pull request #8173 from gilles-peskine-arm/config-boolean-options-wrong-section-202309-2.28 Backport 2.28: Fix boolean options in the wrong section