Skip to content

Upstream local optimizations from dotty-linker #2178

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
felixmulder opened this issue Apr 4, 2017 · 2 comments
Closed

Upstream local optimizations from dotty-linker #2178

felixmulder opened this issue Apr 4, 2017 · 2 comments
Assignees
@DarkDimius @OlivierBlanvillain
Milestone
0.1 Tech Preview

Comments

@felixmulder
Copy link
Contributor

No description provided.

@felixmulder felixmulder added this to the 0.1 Tech Preview milestone Apr 4, 2017
@DarkDimius
Copy link
Contributor

It's in

@DarkDimius
Copy link
Contributor

#2513

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@DarkDimius DarkDimius

@OlivierBlanvillain OlivierBlanvillain

Labels
None yet
Projects
None yet
Milestone
0.1 Tech Preview
Development

No branches or pull requests
3 participants
@DarkDimius @OlivierBlanvillain @felixmulder