Subject: bug#69738: Followup

From: [email-masked]
Date: Sun, 12 May 2024 23:42:17 +0100

> Ping!  Could you please try the patch I propose below?

I was attempting to try the patch, but I don't know how to incorporate
your changes unless by manually rewriting rmail.el: is there an
automatic way of doing it?