[Python-Dev] Please merge : bpo-34848

[Victor Stinner]

Le ven. 3 mai 2019 à 17:47, Jeroen Demeyer <J.Demeyer at ugent.be> a écrit :
> 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

This PR is modying critical change. I don't have the bandwidth right
now to review it.

Victor