Skip to content

update vendored#87

Merged
grosser merged 1 commit intomasterfrom
grosser/ve
Dec 28, 2025
Merged

update vendored#87
grosser merged 1 commit intomasterfrom
grosser/ve

Conversation

@grosser
Copy link
Copy Markdown
Owner

@grosser grosser commented Dec 28, 2025

Thank you for your contribution!

Checklist

  • Added tests
  • Updated README.md (if user facing behavior changed)
  • Added CHANGELOG.md entry under # NEXT (if user facing behavior changed)

@grosser grosser merged commit 3d3b16d into master Dec 28, 2025
5 checks passed
@grosser grosser deleted the grosser/ve branch December 28, 2025 10:18
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.

1 participant