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)
commitec484527b6438438cb4fe2ffa22fd1ebb3cb0378
tree7de7beec06372460891a5eac6ba922ffff53b8e7
parenta51d3d9f223361165127ded3cd2e59d81e22d91f
parenta84079dcf31ec600997b2a2bc80b89b1daf9b182
Merge pull request #1709 from KhronosGroup/fix-pp

PP: Fix #1605: Paste tokens for ## through number->letter transitions.