> So the question to you is:  what next?  Does this seem like a worthwhile
> patch submission for cppunit?  If so, should I post the patch to this list?
>  Or send it to someone particular?  Is a patch against 1.12.0 good enough,
> or should I generate a patch against the latest CVS sources?  I've never
> tried to feed stuff back to a sourceforge project before, so I'm not quite
> sure how to proceed.

This sounds like a worthwhile patch.  To increase your chances of
having it applied: make it easy on us developers by creating a patch
against CVS HEAD.

The preferred method to submit a patch is the patch tracker page
at http://sourceforge.net/tracker/?group_id=11795&atid=311795

Okay -- I just submitted the patch against CVS HEAD to the patch tracker.  It seems that 1.12.1 fixed a number of the issues that I had in 1.12.0, making the patch somewhat less interesting but hopefully still worthwhile.

Please let me know if you have any problems with the patch.