#5617: add a handy function to print a unicode string to gdbinit.
1 file changed