Hello all, 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 Best regards. -- Isaac Jurado "The noblest pleasure is the joy of understanding" Leonardo da Vinci