diff options
author | odersky <odersky@gmail.com> | 2016-12-10 14:45:51 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-12-10 14:45:51 +0100 |
commit | 48309018fc2ab8d38c46408326f739e5652412c7 (patch) | |
tree | 1c297dc5a1b53bd7a6732bbf13608eb83319bb84 /sandbox/scalajs/src | |
parent | ac160ea20dc3a18cad33484286cb3e37e9fe1171 (diff) | |
parent | 306c31214b8f729b810d1f162da20ff8ca6a2848 (diff) | |
download | dotty-48309018fc2ab8d38c46408326f739e5652412c7.tar.gz dotty-48309018fc2ab8d38c46408326f739e5652412c7.tar.bz2 dotty-48309018fc2ab8d38c46408326f739e5652412c7.zip |
Merge pull request #1769 from dotty-staging/fix-#1751
Fix #1751: Make dominator work after erasure
Diffstat (limited to 'sandbox/scalajs/src')
0 files changed, 0 insertions, 0 deletions