Paul Eggert Sun, 10 Mar 2013 22:31:44 -0700
On 03/10/2013 10:18 PM, Gary V. Vaughan wrote: > Any objections if I push the fix?
No, thanks, that fix looks good to me.