On 27 October 2012 22:11, fwierzbicki@... <fwierzbicki@...> wrote:
> On Sat, Oct 27, 2012 at 12:19 PM, Philip Jenvey <pjenvey@...> wrote:
>> I wasn't even aware of python_mirrors/jython. Initially we had /jython/jython setup as the official mirror. I guess python_mirrors was added after the fact
> Oops - I didn't set up either and had gotten mixed up. So
> /jython/jython should be the official one, sorry!