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.

>