OSDN Git Service

Merge "Naming fix and add comments"
authorHans Boehm <hboehm@google.com>
Mon, 25 Sep 2017 04:09:30 +0000 (04:09 +0000)
committerGerrit Code Review <noreply-gerritcodereview@google.com>
Mon, 25 Sep 2017 04:09:30 +0000 (04:09 +0000)

Trivial merge