| commit | b1d1c2af737af5439f9c44ae116afa48bc6ee101 | [log] [tgz] |
|---|---|---|
| author | Dave Rodgman <dave.rodgman@arm.com> | Wed Jun 30 17:52:53 2021 +0100 |
| committer | Dave Rodgman <dave.rodgman@arm.com> | Wed Jun 30 22:51:28 2021 +0100 |
| tree | d20d301fe415b825ac5725285cb223c9153bd9fd | |
| parent | 34d8cd2892f5461496c7b0e177031eac23065053 [diff] |
Fix filename on Changelog item Signed-off-by: Dave Rodgman <dave.rodgman@arm.com>
diff --git a/ChangeLog.d/rm-ticket-lifetime-option b/ChangeLog.d/rm-ticket-lifetime-option.txt similarity index 100% rename from ChangeLog.d/rm-ticket-lifetime-option rename to ChangeLog.d/rm-ticket-lifetime-option.txt