Hi Alfonso, Thanks for this.
On Sun, Jan 6, 2013 at 1:19 PM, Alfonso Nishikawa < alfonso.nishik...@gmail.com> wrote: > > By the way... github repo is not in sync with official subversion repo. > > Mmmmm... The official Github mirrior 'should' technically be up-to-date (give or take the latency between updates)... Lewis