On Thu, Oct 13, 2011 at 9:47 AM, Paolo Carlini <pcarl...@gmail.com> wrote: >> >> Ping, did this go in trunk already? > > I would be surprised to see this happening if nobody like you or Kai actually > does the commit ;) > > P >
Does Jon have commit access?
