Skip to content

Conversation

@pfitzseb
Copy link
Member

@pfitzseb pfitzseb commented May 31, 2021

For every PR, please check the following:

  • End-user documentation check. If this PR requires end-user documentation, please add that at https://github.com/julia-vscode/docs.
  • Changelog mention. If this PR should be mentioned in the CHANGELOG, please edit the CHANGELOG.md file in this PR.

@pfitzseb pfitzseb added the bug label May 31, 2021
@pfitzseb pfitzseb added this to the Next Patch milestone May 31, 2021
@pfitzseb pfitzseb requested a review from a team May 31, 2021 10:17
@pfitzseb pfitzseb merged commit 4f6a4d1 into master May 31, 2021
@davidanthoff davidanthoff deleted the sp/external-fixes branch June 18, 2021 21:26
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.

4 participants