diff options
| author | odersky <odersky@gmail.com> | 2017-04-10 10:30:18 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-04-10 10:30:18 +0200 |
| commit | 80f9b6da66cb4eeabfd5ab97e422752ff134d590 (patch) | |
| tree | 092126e5b948d5799c95e803fb735fbc794e8f26 /project | |
| parent | 7294180d28dcbb3ba84ae302084a0806e76fa8a0 (diff) | |
| parent | e2639e08b097aa9e5cb1f9a38ef37c6caec05874 (diff) | |
| download | dotty-80f9b6da66cb4eeabfd5ab97e422752ff134d590.tar.gz dotty-80f9b6da66cb4eeabfd5ab97e422752ff134d590.tar.bz2 dotty-80f9b6da66cb4eeabfd5ab97e422752ff134d590.zip | |
Merge pull request #2206 from dotty-staging/fix-#2198
Fix #2198: Don't widen module singletons
Diffstat (limited to 'project')
0 files changed, 0 insertions, 0 deletions