Skip to content
This repository was archived by the owner on Jul 1, 2024. It is now read-only.

Maintenance run 2023-09-13#96

Open
github-actions[bot] wants to merge 1 commit into
mainfrom
dependabot/2023-09-13
Open

Maintenance run 2023-09-13#96
github-actions[bot] wants to merge 1 commit into
mainfrom
dependabot/2023-09-13

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

Auto generated PR to update dependencies.
This PR is generated by the Opdrachten Team Dependabot

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Development

Successfully merging this pull request may close these issues.

1 participant