Now committed as obvious (Rev. 200790). Tobias Tobias Burnus wrote: > Tobias Burnus wrote: >> Actually, I wonder whether the following (untested) shouldn't be >> sufficient: > > Seems to work. > > Build and regtested on x86-64-gnu-linux. > OK for the trunk? > > Tobias