On Mon, Aug 14, 2006 at 12:52:11PM -0600, Patrick G. Bridges wrote: > My makefile patches and most of donour's virtual destructor patches > have now been pushed out to the git repository. I just tested this and it passes our regress on simulator. Thanks!