diff debian/compat @ 4050:3dddb03f3559

pick: use "pick" instead of "grab" for various internal API This should not much user visible impact but this is cleaner.
author Pierre-Yves David <pierre-yves.david@octobus.net>
date Fri, 31 Aug 2018 12:45:56 +0200
parents b18b00036355
children 43e9bb4de6b5
line wrap: on
line diff