Skip to content

Conversation

@addaleax
Copy link
Collaborator

To include mongodb-js/devtools-shared#507.

Description

Checklist

Motivation and Context

  • Bugfix
  • New feature
  • Dependency update
  • Misc

Open Questions

Dependents

Types of changes

  • Backport Needed
  • Patch (non-breaking change which fixes an issue)
  • Minor (non-breaking change which adds functionality)
  • Major (fix or feature that would cause existing functionality to change)

@addaleax addaleax merged commit fc1a65e into main Feb 10, 2025
35 of 36 checks passed
@addaleax addaleax deleted the 8942-dev branch February 10, 2025 15:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants