Hi Thomas, >> Regtested on x86_64-unknown-linux-gnu. Ok for trunk? > > > This looks all right to me (although I'm not really an expert :-) > > OK, and thanks for the patch! thanks for the review. Committed as r191870. Cheers, Janus