sry, l didn't expect this to be a known problem.
l've also noticed another font bug. In some (rare) situations a few letters are eroded, as though someone used an ink eraser.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.