Skip to content
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.

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

Do not merge - unspecialcase unicode escapes #6709

Closed
wants to merge 1 commit into from

Conversation

martijnhoekstra
Copy link
Contributor

haphazard cherry-pick against 2.12.x

This is a a re-target of #6661 against 2.12 with the intention
of running a community build to see what the fallout is
of such a change if any.

@scala-jenkins scala-jenkins added this to the 2.12.7 milestone Jun 2, 2018
@martijnhoekstra
Copy link
Contributor Author

This should not be on the 2.12.7 milestone. In fact, this probably shouldn't be on a milestone at all - this is just abusing the PR system to validate and get a community build done.

haphazard cherry-pick against 2.12.x

This is a a re-target of scala#6661 against 2.12 with the intention
of running a community build to see what the fallout is
of such a change if any.
@dwijnand dwijnand removed this from the 2.12.7 milestone Jun 4, 2018
@scala-jenkins scala-jenkins added this to the 2.12.7 milestone Jun 4, 2018
@adriaanm adriaanm added the WIP label Jun 4, 2018
@lrytz lrytz removed this from the 2.12.7 milestone Jun 4, 2018
@scala-jenkins scala-jenkins added this to the 2.12.7 milestone Jun 4, 2018
@SethTisue SethTisue self-assigned this Jun 6, 2018
@SethTisue
Copy link
Member

(ping me if I haven't gotten to this by the end of the week)

@martijnhoekstra
Copy link
Contributor Author

martijnhoekstra commented Jun 7, 2018

@SethTisue This needs to pass CI first, and I'm both busy with work and with rubbing egg from my floating point face, so there is no rush

@SethTisue
Copy link
Member

okay, let's reopen once you're ready to run CI again

@SethTisue SethTisue closed this Jun 8, 2018
@SethTisue SethTisue removed this from the 2.12.7 milestone Sep 10, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants