Merge pull request #1040 from wolfmanjm/upstreamedge
authorJim Morris <morris@wolfman.com>
Thu, 13 Oct 2016 22:53:12 +0000 (15:53 -0700)
committerGitHub <noreply@github.com>
Thu, 13 Oct 2016 22:53:12 +0000 (15:53 -0700)
workaround to handle kill and not wait for motors to stop


Trivial merge