Skip to content

Conversation

bpmct
Copy link
Member

@bpmct bpmct commented Feb 4, 2023

fixes #5994

@bpmct bpmct requested a review from BrunoQuaresma February 4, 2023 12:56
@bpmct bpmct merged commit a5f3f02 into main Feb 7, 2023
@bpmct bpmct deleted the duplicate-update-list branch February 7, 2023 16:26
@github-actions github-actions bot locked and limited conversation to collaborators Feb 7, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Updating the workspace from /workspaces causes the list to duplicate weirdly
3 participants