Hi Srinivas,<br><br>I merged your obvious doc fix, thanks.<br><br>Does someone know how I can list pull requests which has been approved but not merged yet?<br><br>Victor<br><br>Le vendredi 3 mai 2019, Srinivas Reddy Thatiparthy <<a href="mailto:thatiparthysreenivas@gmail.com">thatiparthysreenivas@gmail.com</a>> a écrit :<br>> Hi,<br>>    The PR - <a href="https://github.com/python/cpython/pull/9877">https://github.com/python/cpython/pull/9877</a>  has been approved by Raymond long ago.  Please merge or comment if not mergeable.  <br>> Best Regards,<br>> Srinivas Reddy Thatipathy<br>> 7768044110.<br>><br>><br><br>-- <br>Night gathers, and now my watch begins. It shall not end until my death.<br>