>>>> "Andy" == Andy Piper
Andy> At 09:36 AM 7/30/99 -0400, nbecker(a)fred.net wrote:
Andy> I'm guessing this is a bug in the Tab widget. I've had to fix one
Andy> dumping bug already. I suggest you back-up to vanilla 21.2.19.
I rebuilt with make clean first. Maybe it's stable now (not sure
What is the cvs tag to grab vanilla 21.2.19?