Merge pull request #8817 from neheb/bonnnnn
authorRosen Penev <rosenp@gmail.com>
Sun, 28 Apr 2019 00:41:53 +0000 (17:41 -0700)
committerGitHub <noreply@github.com>
Sun, 28 Apr 2019 00:41:53 +0000 (17:41 -0700)
bonnie++: Remove wrongly added patch during cherry-pick


Trivial merge