Merge pull request #764 from danvk/label_v
authorDan Vanderkam <danvdk@gmail.com>
Tue, 2 Aug 2016 19:37:46 +0000 (15:37 -0400)
committerGitHub <noreply@github.com>
Tue, 2 Aug 2016 19:37:46 +0000 (15:37 -0400)
Implement label_v


Trivial merge