Fri, 31 Aug 2018 09:19:13 +0200 Pierre-Yves David pick: use "pick" as operation name in obsolescence markers
Fri, 31 Aug 2018 12:45:56 +0200 Pierre-Yves David pick: use "pick" instead of "grab" for various internal API
(0) -3000 -1000 -300 -100 -30 -10 -2 +2 +10 +30 +100 +300 +1000 tip