Hi Paul. We'll pick up this patch when we do our next merge from gcc2. Dave Paul Eggert wrote: > Whoops, in my previous message I sent the patch description but not > the patch itself. Sorry. Here it is. This patch has been installed > in the GCC2 sources.