OSDN Git Service

Merge "Refactoring of graph linearization and linear order."
authorTreehugger Robot <treehugger-gerrit@google.com>
Wed, 5 Oct 2016 20:29:58 +0000 (20:29 +0000)
committerGerrit Code Review <noreply-gerritcodereview@google.com>
Wed, 5 Oct 2016 20:29:58 +0000 (20:29 +0000)

Trivial merge