aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools
diff options
context:
space:
mode:
authorGravatar Yang Gao <yangg@google.com>2015-05-11 11:27:02 -0700
committerGravatar Yang Gao <yangg@google.com>2015-05-11 11:27:02 -0700
commit903810191e19ef0d2bb593815b0b5277b3eb5487 (patch)
tree56ce134460bede94fc66bd3e8cc3a0d15f44224e /tools
parent9b75c66860aacca212a3e43a54d50869bf779e7d (diff)
parent5f871ac2259a8ec022c1edb19e01990982fad672 (diff)
Merge pull request #1494 from ctiller/the-churnening
Lose redundant tag on unary calls
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions