On 11/28/2011 02:37 PM, Tobias Burnus wrote: > Build and regtested on x86-64-linux. > OK for the trunk? Steve approved the patch in the PR; thus, I have committed it as Rev. 181778. Tobias