On Wed, Jul 22, 2026 at 06:15:15PM +0900, Fujii Masao wrote:> Agreed. The proposed change looks correct to me.
Done this one, but only on HEAD as the existing code is not broken,either. That's debatable.--Michael