tree 4ecf004526e985d54e94c9a529035a823ca0d9ee
parent 1ba697e29bb4fd541206d9a1be92edef80b6e43a
parent eb6d62cd33c2a917444a0f5f4d18f8f439a58be7
author Hans Boehm <hboehm@google.com> 1506312570 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1506312570 +0000

Merge "Naming fix and add comments"