Commit e640f3a6b16f41cee5f7868ec738fda01244e96a

Behdad Esfahbod 2018-10-09T08:28:07

Another old bot fix