diff options
author | Guillaume Martres <smarter@ubuntu.com> | 2016-03-22 11:30:53 +0100 |
---|---|---|
committer | Guillaume Martres <smarter@ubuntu.com> | 2016-03-22 11:30:53 +0100 |
commit | fadcf44be1a8db931f86a28bcdd54e49bd8741da (patch) | |
tree | c27b15c30014727a234804f7010be0cbf85ad28d /project | |
parent | 1b29119b8ed1a2c3b382dfca01d6dde71f6ae733 (diff) | |
parent | 4df2e28a54978ee16e24bab961d9b491b6fe8707 (diff) | |
download | dotty-fadcf44be1a8db931f86a28bcdd54e49bd8741da.tar.gz dotty-fadcf44be1a8db931f86a28bcdd54e49bd8741da.tar.bz2 dotty-fadcf44be1a8db931f86a28bcdd54e49bd8741da.zip |
Merge pull request #1187 from dotty-staging/fix-#1174
Fix problem involving classtag based pattern matches.
Diffstat (limited to 'project')
0 files changed, 0 insertions, 0 deletions