On Thu, 2005-08-25 at 07:28 -0600, Tom Tromey wrote:
>>>>> "Anthony" == Anthony Green
Anthony> I produced the following patch, which needs to be applied
Anthony> last in our set of Eclipse patches.
Want to file this in Eclipse bugzilla?
If you do, let me know the PR number as I'd like to track it.
I'd like to test this before we send the patch. I'm not convinced it's
entirely correct. But we probably should file the bug itself in Eclipse