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. Regards, Fede
