Skip to content

Conversation

@jdneo
Copy link
Member

@jdneo jdneo commented Jun 9, 2022

fix #588

See :#588 (comment) for how to repro this bug in the marketplace version

Signed-off-by: sheche [email protected]

@jdneo jdneo added the bug Something isn't working label Jun 9, 2022
@jdneo jdneo requested a review from CsCherrYY June 9, 2022 01:53
@jdneo jdneo merged commit e17ef1f into main Jun 9, 2022
@jdneo jdneo deleted the cs/issue-588 branch June 9, 2022 04:35
@jdneo jdneo added this to the 0.20.0 milestone Jun 9, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Duplicated tree nodes in Java Projects view

3 participants