Skip to content

Conversation

@jorisv
Copy link
Contributor

@jorisv jorisv commented Nov 16, 2023

No description provided.

@jorisv jorisv requested a review from jcarpent November 16, 2023 15:58
@jorisv jorisv self-assigned this Nov 16, 2023
@jcarpent jcarpent enabled auto-merge November 16, 2023 16:55
@jcarpent jcarpent merged commit bb3a42b into stack-of-tasks:devel Nov 16, 2023
@jorisv jorisv deleted the topic/fix_check_changelog branch July 23, 2024 12:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants