optimization/10185

[Janis Johnson]

On Fri, Mar 21, 2003 at 05:29:38PM -0600, Wolfgang Bangerth wrote:
> 
> Actually, this bug was introduced between 2002-07-15 and 2002-08-01. Maybe 
> this short-cuts your search a little, Janis.

Yes, that ought to save an hour or two.  The hunt is on and
has already verified that it's between "2002-02-25 00:00 UTC"
and "2002-12-13 00:00 UTC", when 3.1 and 3.3 branched from
mainline.

These hunts are easiest for me to run on weekends, so feel
free to let me know if there are others that would be useful.

Janis