| commit | 5d396327a71e0e9b02cefd40cf2930c661e62988 | [log] [tgz] |
|---|---|---|
| author | Dave Rodgman <dave.rodgman@arm.com> | Tue Aug 15 17:32:11 2023 +0000 |
| committer | GitHub <noreply@github.com> | Tue Aug 15 17:32:11 2023 +0000 |
| tree | 8af6ee0025fbdeb449d95cc18c2e4543d9f81dff | |
| parent | b476177849061f1fbbf7466e9a6b09adeffbeeca [diff] | |
| parent | ba44e918b89bd4ec6d51e10dd953c5504a0fe3d0 [diff] |
Merge pull request #8077 from davidhorstmann-arm/remove-unnecessary-ct-include Tidying: Remove unnecessary include from constant_time.c