Hi Thomas, > > Regtested on x86_64-pc-linux-gnu. OK for mainline? > > It was actually 10.1.12 :-)
dang, you're right. Steve had it right, and I failed miserably on copy&paste. I should fix the comment. > OK for trunk. > > Thanks for the patch! Thanks for the review, which came after Jerry's! I should have waited for yours, too. Harald > Best regards > > Thomas