On 12 January 2015 at 21:07, Alexei Starovoitov <alexei.starovoitov at gmail.com> wrote: > I'm still not sure who suppose to approve it. Used to be Chris, though it may have changed. If not, I think if Chandler, Eric, Anton, Tom and others are happy with, it should be fine, no? cheers, --renato