On 05/27/2013 12:42 AM, Paul Eggert wrote: > Thanks, looks good. This sort of thing should be routine. > OK, pushed.
Thanks, Stefano
On 05/27/2013 12:42 AM, Paul Eggert wrote: > Thanks, looks good. This sort of thing should be routine. > OK, pushed.
Thanks, Stefano