| Fri, 31 Aug 2018 09:20:21 +0200 | Pierre-Yves David | pick: replace "grabstate" with "pickstate" | changeset | files |
| Fri, 31 Aug 2018 09:19:13 +0200 | Pierre-Yves David | pick: use "pick" as operation name in obsolescence markers | changeset | files |
| Fri, 31 Aug 2018 12:45:56 +0200 | Pierre-Yves David | pick: use "pick" instead of "grab" for various internal API | changeset | files |
| Fri, 31 Aug 2018 09:13:11 +0200 | Pierre-Yves David | pick: update command output to mention pick instead of grab | changeset | files |