On Sat, Jan 4, 2014 at 12:54 AM, Mike Stump <mikestump@comcast.net> wrote: > I'm wondering if all the outstanding issues you raised with "tree" have been addressed. If there are any that remain, let us know. I hope so ;) > If they have been, is the original patch (as modified of course by approved later work) Ok? "The rest" of the patch is ok, yes. Richard.