Merge pull request #2254 from whitequark/cxxrtl-extern-c
authorwhitequark <whitequark@whitequark.org>
Thu, 9 Jul 2020 20:17:12 +0000 (20:17 +0000)
committerGitHub <noreply@github.com>
Thu, 9 Jul 2020 20:17:12 +0000 (20:17 +0000)
cxxrtl: add missing extern "C"


Trivial merge