> Indeed this is clearly correct. And one does wonder how this > missing line has managed to not cause problems elsewhere...
I've installed the patch on the mainline, after bootstrapping/regtesting it on x86_64-suse-linux. Do you want me to put it on the 4.0 branch too? -- Eric Botcazou