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.

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

Update target platform to I20220713-1800 #2157

Closed
snjeza opened this issue Jul 14, 2022 · 0 comments · Fixed by #2158
Closed

Update target platform to I20220713-1800 #2157

snjeza opened this issue Jul 14, 2022 · 0 comments · Fixed by #2158
Assignees
@snjeza
Labels
dependencies Pull requests that update a dependency file
Milestone
End July 2022

Comments

@snjeza
Copy link
Contributor

snjeza commented Jul 14, 2022

Related issue:
@snjeza snjeza self-assigned this Jul 14, 2022
@snjeza snjeza mentioned this issue Jul 14, 2022
Merged
@rgrunber rgrunber added the dependencies Pull requests that update a dependency file label Jul 14, 2022
@rgrunber rgrunber added this to the End July 2022 milestone Jul 14, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@snjeza snjeza

Labels
dependencies Pull requests that update a dependency file
Projects
None yet
Milestone
End July 2022
Development

Successfully merging a pull request may close this issue.

Update target platform to I20220713-1800 snjeza/eclipse.jdt.ls
2 participants
@snjeza @rgrunber