On 2019-05-03 14:24, Victor Stinner wrote:
Hi Srinivas,I merged your obvious doc fix, thanks.
Can you please do the same for https://github.com/python/cpython/pull/12784 _______________________________________________ Python-Dev mailing list Python-Dev@python.org https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com