On 01/27/2014 07:05 PM, Ludovic Courtès wrote: > Pushed, thanks (I made a mistake so this is two commits instead of one; > sorry!). > > I applied it to ‘master’, but it needs a fix for > <http://bugs.gnu.org/16569>, right?
Yes, it needs to be fixed for this. Sree