On Wed, 14 May 2025, Yuao Ma wrote: > Hi Joseph, > > I have updated the patch based on your review comments. I added the > newly introduced builtin to extend.texi and mentioned the PR in the > commit message. Could you please take another look when you have a > moment?
This version is OK in the absence of objections within 48 hours. -- Joseph S. Myers josmy...@redhat.com
