Jan. 7, 2017
9:24 a.m.
On Sat, Jan 7, 2017 at 2:20 AM, Paul Eggert <eggert@cs.ucla.edu> wrote:
Thanks for the heads-up. I installed the attached less-ambitious patch,
My three line patch had 2 distinct errors in it. Ouch! Will read, slower, next time. -- Sanjeev Gupta +65 98551208 http://www.linkedin.com/in/ghane