message no. 178958
Posted by nedbat in #github at 2020-04-05T11:50:29Z
escherial: i have done that, except I submitted the second PR now, with a comment that it includes everything from the first PR.
Posted by nedbat in #github at 2020-04-05T11:50:29Z