tree ec70b67db37d25e77dc2d672d3ed5896622e5cf7
parent a71e369f2d7b8ebf9762205eb871bdf7a2779223
author Dave Rodgman <dave.rodgman@arm.com> 1619539284 +0100
committer Dave Rodgman <dave.rodgman@arm.com> 1619539284 +0100

Improve changelog entry for #4217

Signed-off-by: Dave Rodgman <dave.rodgman@arm.com>