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