diff options
| author | Guillaume Martres <smarter@ubuntu.com> | 2016-11-06 10:46:27 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-11-06 10:46:27 +0100 |
| commit | 913f76a482efc733c01dd262a72de78e795d4b7b (patch) | |
| tree | 70eb84e7cbd58884094c4d0e23c58bb67a18fc21 /src/dotty/tools/dotc/reporting/diagnostic/messages.scala | |
| parent | a55a2607c7376ed81141ef958d6a8eeaeea8fd72 (diff) | |
| parent | cf351a20fcd9de79eedeca76fad59bad55d5a5ec (diff) | |
| download | dotty-913f76a482efc733c01dd262a72de78e795d4b7b.tar.gz dotty-913f76a482efc733c01dd262a72de78e795d4b7b.tar.bz2 dotty-913f76a482efc733c01dd262a72de78e795d4b7b.zip | |
Merge pull request #1660 from dotty-staging/fix-#1643
Fix #1643: More robust untpd.New
Diffstat (limited to 'src/dotty/tools/dotc/reporting/diagnostic/messages.scala')
0 files changed, 0 insertions, 0 deletions