On 10/31/23 07:00, James Seo wrote:
On Tue, Oct 31, 2023 at 11:20:00AM +0100, Lukasz Stelmach wrote:
[ ... ]
For what it's worth, I personally don't see much value in doing much more than a machine-limited workaround for now. To me it's clear that this UTF-16 corner case is a BIOS bug and its consequences are minimal once a workaround is in place.
A machine limited workaround sounds about right to me. We may have to revise it later, but better safe than sorry. Guenter
