Rename `cogpick` to `coGpick` (oops). (!113) · Merge requests · Iris / stdpp · GitLab

David Swasey requested to merge swasey/coq-stdpp:coGset into master Feb 23, 2020

We renamed cogset to coGset, but my search and replace missed cogpick.

Pinging @robbertkrebbers.