On 2/26/20 9:33 AM, home user wrote:
(the question)
My sense is that this is not something that I can fix on my
workstation. So I should submit a bug. Where should I submit the bug,
and against what (the font or the terminal or something else (what?))?
Is it only if you use that font? Can you copy and paste the characters
into your reply here so we can see the actual codes?