2009/12/11 Tobias Burnus <burnus@net-b.de>: > Janus Weil wrote: >> The patch was regtested on x86_64-unknown-linux-gnu without failures. >> Ok for trunk? >> > OK. Thanks for the patch. Thanks. Committed as r155183. Cheers, Janus