diff options
author | odersky <odersky@gmail.com> | 2016-12-20 17:13:26 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-12-20 17:13:26 +0100 |
commit | afa83099a2300fcd09afe6514f9112c75f9fb4dc (patch) | |
tree | b7b08c18e7d2d71ca70ad63af4db036924294ad4 /docs/docs | |
parent | e23c2783521c5fb0808da3bf3ebc5e0bdd09d33d (diff) | |
parent | c2bc63799199db517281935ebc3f56d29ba3c932 (diff) | |
download | dotty-afa83099a2300fcd09afe6514f9112c75f9fb4dc.tar.gz dotty-afa83099a2300fcd09afe6514f9112c75f9fb4dc.tar.bz2 dotty-afa83099a2300fcd09afe6514f9112c75f9fb4dc.zip |
Merge pull request #1821 from dotty-staging/fix-i1820
Fix #1820: make sure outer of traits implemented
Diffstat (limited to 'docs/docs')
0 files changed, 0 insertions, 0 deletions