On Thu, Oct 08, 2015 at 12:25:39AM +0200, Ludovic Courtès wrote: > We need to choose whether to revert 42e735d based on the discussion in > <http://bugs.gnu.org/21620>. Mark? Andreas?
Both is fine with me. I still do not quite understand what is happening, but will reply to this effect on the bug. Andreas
