Fix for #40429.

[Dirk Mueller]

On Son, 28 Apr 2002, Michael Bedy wrote:

> Either HEAD is rarely compilable, or I have bad luck. It usually takes me a 
> week to get a checkout from HEAD that compiles. 

euhm??

Given that I compile HEAD every 6 hours, I can confirm that it compiles at 
least 80% of the time :)

> I will abandon my change then. I assume if you want to fix the branch, you can 
> backport your changes.

Yes, changes will be backported. 

> P.S. How does one tell if someone else is working on a bug already?

We have "todo" lists implemented in the bug system. 


Dirk