Oct. 26, 2012
12:53 a.m.
On 10/25/2012 04:02 PM, Paul Eggert wrote:
I will try to get to it tonight, US Pacific time.
I have a set of 3 proposed patches and will email them out shortly. The goal is to push out a new version in the next day or so. Sorry about the rush, but several entries are wrong now.