On Tue, Jan 6, 2026 at 9:24 PM Xin LI <[email protected]> wrote: > Thanks! There is no rush, let's wait for ngie to chime in in case my > reasonaing wasn't convincing enough :) > > Cheers,
I'll be traveling in the next few days and might be offline, so I went ahead and submitted the patch to GNATS (it was actually a documentation bug). It was attached to the end of PR/59838. Thank you for your cooperation. -- Jose Luis Duran
