Le 28 déc. 2012 à 17:56, Paul Eggert <egg...@cs.ucla.edu> a écrit :

> On 12/28/2012 03:02 AM, Akim Demaille wrote:
>> So here is my proposal.
> 
> Looks good to me, thanks.

Pushed.

Reply via email to