You can just pull. 2013/7/16 Barry Warsaw <ba...@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@python.org > http://mail.python.org/mailman/listinfo/python-committers
-- Regards, Benjamin _______________________________________________ python-committers mailing list python-committers@python.org http://mail.python.org/mailman/listinfo/python-committers
