Merge pull request #9081 from cotequeiroz/lbevthp_bots
authorRosen Penev <rosenp@gmail.com>
Mon, 27 May 2019 18:37:56 +0000 (11:37 -0700)
committerGitHub <noreply@github.com>
Mon, 27 May 2019 18:37:56 +0000 (11:37 -0700)
commit81ea55bdc2dbc59967224ac4cdf763bcf1e3785d
tree9d02d91aa9f66dc0e7b77fbe2466c46a1ad0203f
parent3a15492e73654f19afb8b9ea0ca74f6dac45c395
parent3ab4804d10b88aaa6099ae51d14b5ff0b3ab5e6b
Merge pull request #9081 from cotequeiroz/lbevthp_bots

lbevthp: attempt to fix bots failure