projects / platform / upstream / coreclr.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: fafb668 3797111)
Merge pull request #12804 from pgavlin/VSO462274
authorPat Gavlin <pgavlin@gmail.com>
Fri, 14 Jul 2017 16:27:26 +0000 (09:27 -0700)
committerGitHub <noreply@github.com>
Fri, 14 Jul 2017 16:27:26 +0000 (09:27 -0700)
Mark shift helpers that produce an unused value as such.


Trivial merge