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 |