diff options
author | Guillaume Martres <smarter@ubuntu.com> | 2015-10-25 17:50:35 +0100 |
---|---|---|
committer | Guillaume Martres <smarter@ubuntu.com> | 2015-10-25 17:50:35 +0100 |
commit | 51ab200f97f11ac74270f6925028ba4d58284e7b (patch) | |
tree | 90b86a23c2713754a21d7f030ecf3205a151e014 /project | |
parent | 08df804a5b4b7289a1518aa5ccf9753ec1a8cd7a (diff) | |
parent | 7947a7b0fc818128f5e2a0cd10cc43d2d7614354 (diff) | |
download | dotty-51ab200f97f11ac74270f6925028ba4d58284e7b.tar.gz dotty-51ab200f97f11ac74270f6925028ba4d58284e7b.tar.bz2 dotty-51ab200f97f11ac74270f6925028ba4d58284e7b.zip |
Merge pull request #865 from dotty-staging/fix-module-alias-subtyping
Fix hole in subtyping of modules
Diffstat (limited to 'project')
0 files changed, 0 insertions, 0 deletions