Merge pull request #274 from dr-hannibal/ykolerov-unused
authorTom Tromey <tom@tromey.com>
Tue, 23 Aug 2016 17:32:17 +0000 (11:32 -0600)
committerGitHub <noreply@github.com>
Tue, 23 Aug 2016 17:32:17 +0000 (11:32 -0600)
commit408c9c7d5a4cb323c77499b1643858f4bfaf4ca7
tree46467d4611bacbd71a6879bf75cb641b960e3299
parent06d7c5190e910356d4212d2a79056df8b70fd27e
parentb545ff81f58233284cd6fca97a470aa3218c23e6
Merge pull request #274 from dr-hannibal/ykolerov-unused

ARC: Remove unused variable