diff options
author | Guillaume Martres <smarter@ubuntu.com> | 2017-03-20 19:30:22 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-03-20 19:30:22 +0100 |
commit | f009dc0d6d7d93a378da3411bd41bbcb29428db5 (patch) | |
tree | f169d43ec7dce7037958d46850a3cb054f4ba3e0 /project | |
parent | f45dbe7e3722f0c6a814c8afd8481690ac5f1d2c (diff) | |
parent | 40a3b94fd8380c120634742239c5128e3fce664c (diff) | |
download | dotty-f009dc0d6d7d93a378da3411bd41bbcb29428db5.tar.gz dotty-f009dc0d6d7d93a378da3411bd41bbcb29428db5.tar.bz2 dotty-f009dc0d6d7d93a378da3411bd41bbcb29428db5.zip |
Merge pull request #2124 from dotty-staging/fix-param-fwd
Fix parameter accessor forwarding
Diffstat (limited to 'project')
0 files changed, 0 insertions, 0 deletions