| commit | ff3e9e1eb044cd08d594722f37c39642becdf62b | [log] [tgz] |
|---|---|---|
| author | Dave Rodgman <dave.rodgman@arm.com> | Tue Oct 03 09:29:39 2023 +0100 |
| committer | GitHub <noreply@github.com> | Tue Oct 03 09:29:39 2023 +0100 |
| tree | f916a1b5b82536c3bf09a9a88aa9dc496c33d180 | |
| parent | 0673ed2e93eeecdd846847992588ad0702c79b5a [diff] | |
| parent | 08707ecbfe1c947aa57d7b9116c4fb7ad013142a [diff] |
Merge pull request #8292 from minosgalanakis/bugfix/changelog_extensions ChangeLog: Added .txt extension to log entries.