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)
commit21cd29ca65bce1a088eff0a04f2078cb37f60563
tree20d9c1c9b207d8db37c83b8231ff4c3b186f4fcc
parentf2b03b49ac81da5315636697cff5c8f102aa929c
parent70be569784e150ab21c5f77f33fe7b289256e09b
Merge "Remove obsoleted Coverity-related comment"