[Bug gdb/22973] The print command doesn't support identifiers named with non-ASCII characters.

[brobecker at gnat dot com]

https://sourceware.org/bugzilla/show_bug.cgi?id=22973

Joel Brobecker <brobecker at gnat dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |brobecker at gnat dot com

--- Comment #5 from Joel Brobecker <brobecker at gnat dot com> ---
Hi Pedro - I am wondering if you meant to change the PR's status to
RESOLVED-FIXED in your latest update?

-- 
You are receiving this mail because:
You are on the CC list for the bug.