Merge pull request #2090 from whitequark/cxxrtl-fixes
authorwhitequark <whitequark@whitequark.org>
Tue, 26 May 2020 22:18:14 +0000 (22:18 +0000)
committerGitHub <noreply@github.com>
Tue, 26 May 2020 22:18:14 +0000 (22:18 +0000)
commitb6513521931ab7375f5409db7d94140b533b5fa2
treea21f49bd6e8d76e009ba8d28ac3d51175a9fe60c
parenta7f2ef6d34c4b336a910b3c6f3d2cc11da8a82b4
parent0bf6b164be05e8dc0cb6d129455d38121f625da0
Merge pull request #2090 from whitequark/cxxrtl-fixes

Minor fixes for CXXRTL