Merge pull request #9081 from cotequeiroz/lbevthp_bots
authorRosen Penev <redacted>
Mon, 27 May 2019 18:37:56 +0000 (11:37 -0700)
committerGitHub <redacted>
Mon, 27 May 2019 18:37:56 +0000 (11:37 -0700)
lbevthp: attempt to fix bots failure


Trivial merge
git clone https://git.99rst.org/PROJECT