On Fri, 10 Nov 2023, Lewis Hyatt wrote: > Hello- > > The PR may be 20 years old, but by now it only needs a one-line fix :). Is > it OK please? Bootstrapped + regtested all langauges on x86-64 Linux. > Thanks!
OK. -- Joseph S. Myers jos...@codesourcery.com
