On Thu, Aug 29, 2002 at 06:42:39PM +0200, Dirk-Willem van Gulik wrote: > > > On Thu, 29 Aug 2002, Jon Travis wrote: > > > Any word on this? > > These things take time... and it pays off to do them well. There is > absolutely no rush.
Just wanted a word. More often than not, when something stops being discussed on the list, it drops off the face of the earth. I should know, I have many patches who've taken such a fall.. ;-) -- Jon