OSDN Git Service

Merge "Fix 552-checker-sharpening for MIPS32R6"
authorTreehugger Robot <treehugger-gerrit@google.com>
Thu, 10 Nov 2016 15:28:48 +0000 (15:28 +0000)
committerGerrit Code Review <noreply-gerritcodereview@google.com>
Thu, 10 Nov 2016 15:28:48 +0000 (15:28 +0000)

Trivial merge