tree 0da82066c5a4de975a6c8872b96cd227a022551b
parent 50284cd36413ea6034462858bd1a3c9f9e2e2db3
author Vitaly Buka <vitalybuka@google.com> 1605504229 -0800
committer Vitaly Buka <vitalybuka@google.com> 1605504229 -0800

[sanitizer] Simplify few lines in bot script