On Thu, May 24, 2012 at 3:57 AM, Marius Mårnes Mathiesen <marius.mathie...@gmail.com> 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 gitorious@googlegroups.com To unsubscribe from this group, send email to gitorious+unsubscr...@googlegroups.com