diff options
| author | Dmitry Petrashko <dark@d-d.me> | 2017-01-11 19:14:53 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-01-11 19:14:53 +0100 |
| commit | ba7e12999dc645dbcba04cf365dfd4d621ee4662 (patch) | |
| tree | 87001ce07a6013719df241cc0f28c12ba5ec6718 /bench | |
| parent | 8b44b6c1fb0f03a555834d189b98ef30091153fe (diff) | |
| parent | cf57534c6141593fbe2ac2fec9d101fa662ecf05 (diff) | |
| download | dotty-ba7e12999dc645dbcba04cf365dfd4d621ee4662.tar.gz dotty-ba7e12999dc645dbcba04cf365dfd4d621ee4662.tar.bz2 dotty-ba7e12999dc645dbcba04cf365dfd4d621ee4662.zip | |
Merge pull request #1883 from dotty-staging/fix-1877
Fix #1877: Add forwarders for primitive/generic mixins.
Diffstat (limited to 'bench')
0 files changed, 0 insertions, 0 deletions