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)
commit546df89613a776fa97d049368f469c058844c431
tree4b4d725355f0a08cc3d04f0caf581e03094bbb23
parent6eef8c1b9ec7b247ee2b508032bd3ec957d0fb68
parentad739e06ecde73b8a05ff619fa901474b408ddaa
Merge pull request #764 from danvk/label_v

Implement label_v