Subject: Re: bug#13002: Updated, fixed patch

From: Karl Berry <[email-masked]>
Date: Sat, 7 Nov 2020 19:45:20 -0700

I have taken Daniel Espinosa's patch and improved it so that it
    fixes all the test failures.

Reuben, thank you very much for dealing with everything, and thanks to
Daniel for the original work.

make check && make distcheck are working for me now.
I have pushed the changes (with fingers crossed)
and am closing this bug. -k