diff options
| author | Dmitry Petrashko <dark@d-d.me> | 2016-12-16 10:53:13 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-12-16 10:53:13 +0100 |
| commit | 8643876e31d6668555cf903c0a21ee49122f4f17 (patch) | |
| tree | eb3523d93595008b2741117d92a9ff1d37d950fd /bench | |
| parent | a5620ab882b95ef60acf42814ac5568d5f93bdd4 (diff) | |
| parent | b1553cb9c5894e2e91925a67afd2c986675e5c46 (diff) | |
| download | dotty-8643876e31d6668555cf903c0a21ee49122f4f17.tar.gz dotty-8643876e31d6668555cf903c0a21ee49122f4f17.tar.bz2 dotty-8643876e31d6668555cf903c0a21ee49122f4f17.zip | |
Merge pull request #1801 from dotty-staging/fix-#1790
Fix #1790: Change by-name pattern matching.
Diffstat (limited to 'bench')
0 files changed, 0 insertions, 0 deletions