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 escribió: > Hi Isaac, > > Isaac Jurado 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 >