Merge pull request #637 from KhronosGroup/token-paste
authorJohn Kessenich <johnkslang@users.noreply.github.com>
Mon, 19 Dec 2016 21:31:57 +0000 (14:31 -0700)
committerGitHub <noreply@github.com>
Mon, 19 Dec 2016 21:31:57 +0000 (14:31 -0700)
PP: Implement token pasting for PP identifiers.


Trivial merge