Created attachment 211314 [details]
lwhsu@ already updated this port to 1.25.7 on head in r523579. I guess you're on the quarterly branch. Assign this PR to lwhsu@ for MFH.
Just being curious, why does not merging this to a quarterly branch will affect an adding a new port ticket, bug243847?
Sorry for the noise; in fact this port was already upgraded in head.
Personally I don't need this to be merged to quarterly (although it would be welcome).
Thanks for confirming this. I don't think it is needed to merge to the quarterly branch because it's not a security or regression fix. Please let me know if there is any further need to merge it and I will take care of it.