Skip to content

Maintainer fixes/pr 219#220

Merged
rpietzsch merged 4 commits into
mainfrom
maintainer-fixes/pr-219
Mar 11, 2026
Merged

Maintainer fixes/pr 219#220
rpietzsch merged 4 commits into
mainfrom
maintainer-fixes/pr-219

Conversation

@rpietzsch

Copy link
Copy Markdown
Contributor

#219 with maintainer fixes / changes

@rpietzsch rpietzsch merged commit c037c56 into main Mar 11, 2026
2 checks passed
@rpietzsch rpietzsch deleted the maintainer-fixes/pr-219 branch April 2, 2026 16:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants