Hi, My PR was merged, but I don't see any notification on bpo: https://github.com/python/cpython/pull/253 http://bugs.python.org/issue27840 A few weeks ago, we got two notifications per commit (hg, git), and now there is zero notification :-) Is it a known issue? Victor