On 5/14/25 2:22 PM, Joseph Myers wrote:
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.
I've pushed this to the trunk (two commits, I accidentally pushed the
first version without the doc changes, then had to follow that up with
the doc change).
jeff
