Hi Isaac,

Isaac Jurado <diptongo@gmail.com> writes:

> Apologies in advance if this is unorthodox.  I just wanted to ping the
> list because I sent a patch proposal to fix #21076.  Since it's almost
> 4 years old and I'm not sure if the bug tracking system notifies
> properly.
>
> https://bugs.gnu.org/21076

I did already see your recent comments on that old bug, but I haven't
yet found the time to properly investigate the issue.  Ideally, Andy
Wingo would chime in, since he has looked most closely at this issue in
the past.

      Thanks,
        Mark