Merge pull request #1709 from KhronosGroup/fix-pp
authorJohn Kessenich <johnkslang@users.noreply.github.com>
Fri, 22 Feb 2019 18:09:17 +0000 (01:09 +0700)
committerGitHub <noreply@github.com>
Fri, 22 Feb 2019 18:09:17 +0000 (01:09 +0700)
PP: Fix #1605: Paste tokens for ## through number->letter transitions.


Trivial merge