Terry J. Reedy added the comment: The unlinked push message was for #21139. ---------- nosy: +terry.reedy _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue21138> _______________________________________