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

Maintenance run 2023-12-15#104

Open
dependabot-vakgroep-so[bot] wants to merge 1 commit into
mainfrom
dependabot/latest
Open

Maintenance run 2023-12-15#104
dependabot-vakgroep-so[bot] wants to merge 1 commit into
mainfrom
dependabot/latest

Conversation

@dependabot-vakgroep-so

Copy link
Copy Markdown

Auto generated PR to update dependencies.
This PR is generated by the Vakgroep SO Dependabot

@dependabot-vakgroep-so dependabot-vakgroep-so Bot changed the title Maintenance run 2023-12-01 Maintenance run 2023-12-15 Dec 15, 2023
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