Hi Adrien On 19 Feb 2013, at 16:04, Adrien <[email protected]> wrote:
> This bug is very old now. Do you still think the feature is worth it ? No, I think you can close the bug off if nobody's requested it other than me! Cheers, Peter -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
