Paul Richard Thomas Mon, 18 Jun 2012 10:52:54 -0700
Dear Tobias,
>> OK for the trunk? Yes indeed - thanks for the patch. Cheers Paul