Fix removed space in merge resolution

This space was mysteriously removed during the merge, restore it here.

Signed-off-by: David Horstmann <david.horstmann@arm.com>
This commit is contained in:
David Horstmann 2024-03-12 16:09:58 +00:00
parent db90914232
commit c2ac51e0c6