Commit 408c9c7d5a4cb323c77499b1643858f4bfaf4ca7

Tom Tromey 2016-08-23T11:32:17

Merge pull request #274 from dr-hannibal/ykolerov-unused ARC: Remove unused variable