Merge pull request #607 from TheBlueMatt/2020-04-more-cleanups
authorMatt Corallo <649246+TheBlueMatt@users.noreply.github.com>
Fri, 24 Apr 2020 22:17:53 +0000 (22:17 +0000)
committerGitHub <noreply@github.com>
Fri, 24 Apr 2020 22:17:53 +0000 (22:17 +0000)
CI and rustc warning cleanup


Trivial merge