Skip to content

der v0.8.0-rc.12#2227

Merged
tarcieri merged 1 commit intomasterfrom
der/v0.8.0-rc.12
Feb 11, 2026
Merged

der v0.8.0-rc.12#2227
tarcieri merged 1 commit intomasterfrom
der/v0.8.0-rc.12

Conversation

@tarcieri
Copy link
Copy Markdown
Member

No description provided.

@tarcieri tarcieri merged commit bc1c747 into master Feb 11, 2026
179 checks passed
@tarcieri tarcieri deleted the der/v0.8.0-rc.12 branch February 11, 2026 22:32
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