Re: Feedback for #21076

[Isaac Jurado]

Thanks! There's no rush. But I wanted to merge it before 2.2.5

El dom., 16 jun. 2019 23:09, Mark H Weaver <address@hidden> escribió:

Hi Isaac,

Isaac Jurado <address@hidden> 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