[python-committers] IMPORTANT: Strip your repos if you pulled recently

[Benjamin Peterson]

You can just pull.

2013/7/16 Barry Warsaw <barry at python.org>:
> On Jul 16, 2013, at 09:31 AM, Benjamin Peterson wrote:
>
>>Oops, the bad one is actually
>>
>>8889c9b5dd3a
>
> Uh, then how do we unstrip the other one?  Or should we just re-clone and
> ignore this ever happened? ;)
>
> -Barry
> _______________________________________________
> python-committers mailing list
> python-committers at python.org
> http://mail.python.org/mailman/listinfo/python-committers



-- 
Regards,
Benjamin