Skip to content

build: update primitives dependency#30

Merged
PyaeSoneAungRgn merged 1 commit intoPyaeSoneAungRgn:mainfrom
FlorianWoelki:main
Nov 15, 2025
Merged

build: update primitives dependency#30
PyaeSoneAungRgn merged 1 commit intoPyaeSoneAungRgn:mainfrom
FlorianWoelki:main

Conversation

@FlorianWoelki
Copy link
Contributor

No description provided.

@claytercek
Copy link
Collaborator

Hey @PyaeSoneAungRgn just bumping this PR, want to make sure you saw!

@PyaeSoneAungRgn PyaeSoneAungRgn merged commit e211a18 into PyaeSoneAungRgn:main Nov 15, 2025
@PyaeSoneAungRgn
Copy link
Owner

Thank so much

This is the PR to release new version zed-industries/extensions#3880.

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.

3 participants