Merge pull request #2125 from whitequark/cxxrtl-fix-namespace
authorwhitequark <whitequark@whitequark.org>
Tue, 9 Jun 2020 07:52:27 +0000 (07:52 +0000)
committerGitHub <noreply@github.com>
Tue, 9 Jun 2020 07:52:27 +0000 (07:52 +0000)
commitc172b30c24285faa2b57f84a2a5162c5f3dcfb4c
treec4f9e10f877b78b4abc31193ca30b7f17243ea0a
parent4351194e8ce94e7078b67a20e5fc92777d6cb3e6
parent4e7d8377471c6e115cc80d97866fb41ff40c5835
Merge pull request #2125 from whitequark/cxxrtl-fix-namespace

cxxrtl: add missing namespace