Historical reasons only. If we move error tickets to github we could close the google code repo.
On Friday, 5 October 2012 06:33:06 UTC-5, stefaan wrote: > > I still don't quite understand what is the reason to have two duplicate > repos ? > Is it purely a matter of reconciling different developer preferences? > > --