On Mon, May 06, 2002 at 03:31:53PM -0700, Richard Henderson wrote: > On Mon, May 06, 2002 at 03:16:30PM -0700, Janis Johnson wrote: > > > Leave it separate then, but do add the configure switch and default on. > > > > OK. Can that be done as a separate patch after this one is in? > > Um, I guess. Does that mean this one is OK? Janis