Merge pull request #159 from dneto0/fix-quotes
authorJohn Kessenich <johnkslang@users.noreply.github.com>
Mon, 1 Jun 2020 16:40:53 +0000 (10:40 -0600)
committerGitHub <noreply@github.com>
Mon, 1 Jun 2020 16:40:53 +0000 (10:40 -0600)
spir-v.xml: Use plain ASCII quotes in comment


Trivial merge