On Thu, May 24, 2012 at 3:57 AM, Marius Mårnes Mathiesen
<[email protected]> wrote:
> That's an elegant solution. Would you mind sending a merge request for that?

Sure thing, submitted at
https://gitorious.org/gitorious/mainline/merge_requests/205

- Ken

-- 
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]

Reply via email to