Merge pull request #6729 from pgavlin/Reformat
authorPat Gavlin <pgavlin@gmail.com>
Sat, 13 Aug 2016 02:11:09 +0000 (19:11 -0700)
committerGitHub <noreply@github.com>
Sat, 13 Aug 2016 02:11:09 +0000 (19:11 -0700)
Re-reformat the JIT sources.


Trivial merge