diff options
| author | odersky <odersky@gmail.com> | 2016-12-20 17:18:30 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-12-20 17:18:30 +0100 |
| commit | 098c50ac83eb4d18b23a1ed888cf601053c46ae6 (patch) | |
| tree | d5c45fd83ebccf3c8dc923e41e695723a3c04a1a /docs | |
| parent | afa83099a2300fcd09afe6514f9112c75f9fb4dc (diff) | |
| parent | a7d17e286760879a35dfaeeadca1dbad2aa85dfc (diff) | |
| download | dotty-098c50ac83eb4d18b23a1ed888cf601053c46ae6.tar.gz dotty-098c50ac83eb4d18b23a1ed888cf601053c46ae6.tar.bz2 dotty-098c50ac83eb4d18b23a1ed888cf601053c46ae6.zip | |
Merge pull request #1832 from dotty-staging/fix-1810
Fix #1812, Symbols.mapSymbols shouldn't replace denotations
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions