bug#78431: Unclear patch submission address

[Paul Eggert]

On 2025-05-15 03:38, Pádraig Brady wrote:

I haven't strong opinions on this,
so am happy to go with the proposed patch.

Thanks, I applied it and am closing the bug report.