Hi!

On Wed, Aug 5, 2020, 7:54 AM Lars Ingebrigtsen <larsi@gnus.org> wrote:

"Mingde (Matthew) Zeng" <matthewzmd@gmail.com> writes:

> I submitted a patch that should fix this problem completely.

Did you send it to 40121@debbugs.gnu.org? It's nice to have the patches
in the bug tracker.

I really appreciate everyone's work on this; I will look and help confirm next week when I am home from vacation.