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