Skip to content
This repository was archived by the owner on Apr 21, 2026. It is now read-only.

maintainer needed#4146

Merged
grosser merged 1 commit into
masterfrom
grosser/maint
Jan 30, 2026
Merged

maintainer needed#4146
grosser merged 1 commit into
masterfrom
grosser/maint

Conversation

@grosser
Copy link
Copy Markdown
Contributor

@grosser grosser commented Jan 30, 2026

image

Risks

  • Low

@grosser grosser merged commit 8f4fc17 into master Jan 30, 2026
12 of 13 checks passed
@grosser grosser deleted the grosser/maint branch January 30, 2026 17:58
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants