On 13-01-31 01:20 PM, Tom Tromey wrote: if > there is in fact a bug here, then the patch would obscure that. > That is true. Ok, I'll investigate, but not before another week or two. (there is no rush about any of Wunused patches anyway...) Thanks, Aleksandar