Merge pull request #6027 from Kushagra8888/patch-2
authorKevin Sawicki <kevin@github.com>
Mon, 13 Jun 2016 15:54:55 +0000 (08:54 -0700)
committerGitHub <noreply@github.com>
Mon, 13 Jun 2016 15:54:55 +0000 (08:54 -0700)
remove extraneous 'not'


Trivial merge