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

Cleanup unused Java support Part 2 #8666

Closed
svor opened this issue Feb 8, 2018 · 1 comment
Closed

Cleanup unused Java support Part 2 #8666

svor opened this issue Feb 8, 2018 · 1 comment
Labels
kind/task Internal things, technical debt, and to-do tasks to be performed. target/branch Indicates that a PR will be merged into a branch other than master.

Comments

@svor
Copy link
Contributor

svor commented Feb 8, 2018

Part of jdt code was cleaned (#8334) but we still have many places where jdt code is used.
So after closing next issues we have to make some code cleanup again:
@svor svor added kind/task Internal things, technical debt, and to-do tasks to be performed. target/branch Indicates that a PR will be merged into a branch other than master. team/languages labels Feb 8, 2018
@gorkem gorkem mentioned this issue Feb 8, 2018
Closed
45 tasks
@tsmaeder tsmaeder mentioned this issue Feb 12, 2018
Closed
15 tasks
@svor
Copy link
Contributor Author

svor commented Mar 5, 2018

Code related to parameters hints and formatter was cleaned.

@tsmaeder tsmaeder mentioned this issue May 3, 2018
Closed
15 tasks
@JPinkney JPinkney mentioned this issue May 9, 2018
Closed
@tsmaeder tsmaeder mentioned this issue May 24, 2018
Closed
22 tasks
@tsmaeder tsmaeder mentioned this issue Jun 18, 2018
Closed
26 tasks
@JPinkney JPinkney mentioned this issue Jun 29, 2018
Merged
@tsmaeder tsmaeder mentioned this issue Jul 5, 2018
Closed
17 tasks
@JPinkney JPinkney mentioned this issue Jul 6, 2018
Merged
@tolusha tolusha closed this as completed Jul 26, 2018
@tsmaeder tsmaeder mentioned this issue Jul 30, 2018
Closed
12 tasks
@tsmaeder tsmaeder reopened this Jul 31, 2018
This was referenced Jul 31, 2018
Merged
Merged
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
kind/task Internal things, technical debt, and to-do tasks to be performed. target/branch Indicates that a PR will be merged into a branch other than master.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@svor @tolusha @tsmaeder