Merge pull request #1307 from wolfmanjm/upstreamedge
authorJim Morris <morris@wolfman.com>
Wed, 11 Apr 2018 20:44:19 +0000 (21:44 +0100)
committerGitHub <noreply@github.com>
Wed, 11 Apr 2018 20:44:19 +0000 (21:44 +0100)
commit18dbd06e8319bf14015ba8aa8c60bd05914673ae
treec1c2c49ea25f97ea0a838658821c60d4c0438156
parentc51da23a71cbc83ac741ea02f45aba5e70cef11d
parent49de901734414b04c54cd1890f3a6bd2a03e4d49
Merge pull request #1307 from wolfmanjm/upstreamedge

clean up defines of vector when not actually used