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)
commit071a926dd318cc003fdf7294cde2a883100ae847
tree7d534a7591e4714e5e38b29c0fdfca7d09cd74d1
parentc3f6660b8bbf6830d3cdb82fa4fcf362d5cfd0f7
parentddc48c3d5ae766f7cc5be6364aabec7545f4d82c
Merge pull request #8817 from neheb/bonnnnn

bonnie++: Remove wrongly added patch during cherry-pick