On Sun, Feb 07, 2016 at 09:15:10PM +0100, Ludovic Courtès wrote: > Agreed. Fabian: could you send an updated patch? If you prefer one of > us could adjust your patch to do that.
Already done, received, and I pushed it. So many messages recently! Andreas
