Hi Isaac, Isaac Jurado <dipto...@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