]> git.lizzy.rs Git - rust.git/commitdiff
Merge pull request #3014 from PSeitz/master
authorNick Cameron <nrc@ncameron.org>
Tue, 18 Sep 2018 22:42:16 +0000 (10:42 +1200)
committerGitHub <noreply@github.com>
Tue, 18 Sep 2018 22:42:16 +0000 (10:42 +1200)
fixes #2914 by handling BadIssue case


Trivial merge