On Thu, Jul 31, 2025 at 09:51:21AM -0700, Masahiko Sawada wrote:
> Yes, I think it's sensible to keep the current behavior. So the patch
> looks good to me.
Thanks for the review. I am planning to apply that at the beginning
of next week, in time for the next set of minor releases.
--
Michael