| commit | 24b781da3c484e86819dcd0ba07d102208f230fc | [log] [tgz] |
|---|---|---|
| author | Gilles Peskine <gilles.peskine@arm.com> | Fri Jan 28 12:14:37 2022 +0100 |
| committer | GitHub <noreply@github.com> | Fri Jan 28 12:14:37 2022 +0100 |
| tree | 70870450ac3b315c6f22e467d894cb6a85d26745 | |
| parent | fedefdd6f9e1bdb8396ac40995e466fd3b566d16 [diff] | |
| parent | f7d704dbd2f9e46b40e7440719c003219e197b36 [diff] |
Merge pull request #5473 from mpg/rm-dead-code Avoid dead code in some configurations