OSDN Git Service

Merge "Remove obsoleted Coverity-related comment"
authorTreehugger Robot <treehugger-gerrit@google.com>
Wed, 26 Sep 2018 23:18:32 +0000 (23:18 +0000)
committerGerrit Code Review <noreply-gerritcodereview@google.com>
Wed, 26 Sep 2018 23:18:32 +0000 (23:18 +0000)

Trivial merge