Merge pull request #1979 from whitequark/cxxrtl-go-faster
authorClaire Wolf <clifford@clifford.at>
Wed, 22 Apr 2020 14:50:45 +0000 (16:50 +0200)
committerGitHub <noreply@github.com>
Wed, 22 Apr 2020 14:50:45 +0000 (16:50 +0200)
cxxrtl: Gas gas gas! I'm gonna step on the gas! Tonight I'll fly!


Trivial merge