On 01/16/2010 02:26 PM, Ralf Wildenhues wrote: > Note that I haven't gotten any feedback on whether this actually fixes > PR 35942. Ok, it should fix the bug indeed. Paolo