On Fri, Nov 03, 2023 at 02:20:49PM -0700, Paul Eggert wrote:
> Thanks for the quick fix for the bug I introduced.

Thank you for the fix!




Reply via email to