On Sun, 21 May 2006, Joel E. Denny wrote: > On Sun, 21 May 2006, Paul Eggert wrote: > > > We could have 'bootstrap' emit the date of the bootstrap. > > That's better than what we have now,
On second thought, maybe not. I usually don't bootstrap after a cvs update or commit. Joel
