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)

Attachment: signature.asc
Description: Message signed with OpenPGP using GPGMail

Reply via email to