> Note that this commit wasn't actually a merge -- you'll have to use the
> "hg merge" command for that.

You're right.
I guess that's what happens when I try to work past my usual bedtime ;-)

By the way, I'm still getting errors upon push, and it looks like when
I push a patch, this doesn't trigger any build on the buildbots. It
used to work, any idea what's going on?
_______________________________________________
Python-Dev mailing list
Python-Dev@python.org
http://mail.python.org/mailman/listinfo/python-dev
Unsubscribe: 
http://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com

Reply via email to