On Thu, May 31, 2012 at 7:46 PM, Ken Dreyer <ktdre...@ktdreyer.com> wrote:
> On Thu, May 24, 2012 at 7:13 AM, Ken Dreyer <ktdre...@ktdreyer.com> wrote: > > 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 > > Gitorious devs, > > Are there any objections to merging this, particularly since it's > security-related? > Apart from lack of time: no :-) Just merged it now. > I've got two other merge requests pending (#202 and #204) that I'd be > happy to see merged also :) > Sure - we'll just need to spend a few minutes on those, hopefully next week! Cheers - Marius -- To post to this group, send email to gitorious@googlegroups.com To unsubscribe from this group, send email to gitorious+unsubscr...@googlegroups.com