Federico Beffa <be...@ieee.org> skribis: > On Sun, Jan 10, 2016 at 9:45 PM, Ludovic Courtès <l...@gnu.org> wrote: >> Could get in touch with Carsten Dominik, for instance, and propose the >> patch? > > Dominik was kind enough to accept the patch. So, I've now pushed it. > Once the new release will be out, we can drop it.
Excellent, thank you! Ludo’.