On Oct 27, 2013, at 1:06 PM, Paul Eggert <egg...@cs.ucla.edu> wrote: > Thanks, that looks good, please push.
Thanks. Pushed. Cheers, -- Gary V. Vaughan (gary AT gnu DOT org)
signature.asc
Description: Message signed with OpenPGP using GPGMail
On Oct 27, 2013, at 1:06 PM, Paul Eggert <egg...@cs.ucla.edu> wrote: > Thanks, that looks good, please push.
Thanks. Pushed. Cheers, -- Gary V. Vaughan (gary AT gnu DOT org)
signature.asc
Description: Message signed with OpenPGP using GPGMail