Alex Vong <alexvong1995@gmail.com> writes:

> Hello,
>
> This patch should fix <https://bugs.gnu.org/30641>.
>
Sorry, I mean <https://debbugs.gnu.org/30677>.