Hi Paul. On 01/17/2012 12:19 AM, Paul Eggert wrote: > On 01/15/12 10:15, Stefano Lattarini wrote: >> Not sure how this is really worth, but here we go. > > Spelling fixes like that are always welcome. > I've taken this as an ACK, and pushed.
Thanks, Stefano
