Merge pull request #2270 from whitequark/cxxrtl-fix-typo
authorwhitequark <whitequark@whitequark.org>
Thu, 16 Jul 2020 09:48:10 +0000 (09:48 +0000)
committerGitHub <noreply@github.com>
Thu, 16 Jul 2020 09:48:10 +0000 (09:48 +0000)
commita87e338381507b372bb4ad6fad6ad959e0139649
treef80e071d849033d1b9e7b90e1e287d7a283c4211
parentcb757b28b4078d19a31361b1f57f5f32595c4523
parenta5cf000377269fff41dfd6410fb113fd89373689
Merge pull request #2270 from whitequark/cxxrtl-fix-typo

cxxrtl: fix typo