tree ef4708aaf75b2f7e3635f0b578e531c200dd8a20
parent 661e0b2a0084ee855f818466873f16353e644f6f
parent 9a2657e0bf22649d011c039923238d9b2cc33a65
author Dave Borowitz <dborowitz@google.com> 1474531600 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1474531600 +0000

Merge changes from topic 'bot-comments-ui-gh16'

* changes:
  Hide "HideBotComments" if no bot comment is present in the history tab
  Add show / hide bot comments button to ChangeScreen