Skip to content

Update requirements#2115

Merged
FlorianPfaff merged 1 commit into
mainfrom
update-requirements
May 21, 2026
Merged

Update requirements#2115
FlorianPfaff merged 1 commit into
mainfrom
update-requirements

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

Automated changes by create-pull-request GitHub action

@github-actions github-actions Bot added the bot label May 21, 2026
@FlorianPfaff FlorianPfaff merged commit c8d5594 into main May 21, 2026
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant