Martin Panter added the comment: Sorry to be a pain, but I think the new logic for HEAD is wrong. See review. ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue25738> _______________________________________