Skip to content

Conversation

@N5N3
Copy link
Contributor

@N5N3 N5N3 commented Feb 15, 2022

@pfitzseb pfitzseb merged commit 9ed21d6 into julia-vscode:master Feb 16, 2022
@N5N3 N5N3 deleted the 1.8patch branch February 16, 2022 22:54
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.

2 participants