diff options
author | odersky <odersky@gmail.com> | 2016-10-16 13:26:04 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-10-16 13:26:04 +0200 |
commit | 009398bf72d4ec3e10f4b6f56431927065c3b846 (patch) | |
tree | 9cc4c105d4855da7b18bb7cfff459e9073c68e66 /sandbox | |
parent | 171f4aaf75988cfbacbf8b9ff69f746b53688f62 (diff) | |
parent | 189629f9cf9e24abfc3479d3f067448fe380b965 (diff) | |
download | dotty-009398bf72d4ec3e10f4b6f56431927065c3b846.tar.gz dotty-009398bf72d4ec3e10f4b6f56431927065c3b846.tar.bz2 dotty-009398bf72d4ec3e10f4b6f56431927065c3b846.zip |
Merge pull request #1588 from dotty-staging/fix-#1502
Fix #1544: Allow long signatures in names
Diffstat (limited to 'sandbox')
0 files changed, 0 insertions, 0 deletions