12 Feb
2017
12 Feb
'17
1:33 p.m.
Le 12/02/2017 à 13:25, Serhiy Storchaka a écrit :
In contrary, I'm finding the new github PR messages less useful than old messages. [...]
I'm a bit surprised: is there a message on python-checkins for each PR changeset, or only a single one when the PR is squashed+merged?
Regards
Antoine.