diff options
author | Nicolas Stucki <nicolas.stucki@gmail.com> | 2017-02-01 10:04:19 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-02-01 10:04:19 +0100 |
commit | b5185f1b4481ef61243741c7f7ed0ba8f696776b (patch) | |
tree | 7f7c18662e3e011374d1f2bbe78893e8ffac2722 /docs/blog/_posts | |
parent | af7fdb32df34b352bf39f01a26653b169e0d55cf (diff) | |
parent | f7278e16ffa8ff242b7d985803015170dbf80ce7 (diff) | |
download | dotty-b5185f1b4481ef61243741c7f7ed0ba8f696776b.tar.gz dotty-b5185f1b4481ef61243741c7f7ed0ba8f696776b.tar.bz2 dotty-b5185f1b4481ef61243741c7f7ed0ba8f696776b.zip |
Merge pull request #1919 from dotty-staging/fix-#1915
Fix #1915 Synthetic function traits need NoInits flag
Diffstat (limited to 'docs/blog/_posts')
0 files changed, 0 insertions, 0 deletions