tree e73fd5a9a04eb9780c84826f0d217739713d608d
parent c0724b90939ecf21babb9dd20f72130df07b2a8a
author Axel Heider <axelheider@gmx.de> 1617501526 +0200
committer Kent McLeod <kent-mcleod@users.noreply.github.com> 1620964932 +1000

libsel4debug: improve debug output

Print the colon after the register name.

Signed-off-by: Axel Heider <axelheider@gmx.de>