Skip to content

Conversation

@untio11
Copy link
Collaborator

@untio11 untio11 commented Nov 23, 2023

Ik heb dit even in een PR gezet zodat het gereviewed kan worden, maar het is denk ik niet de bedoeling dat het gemerged wordt. Waarschijnlijk handiger om als getagde commit te hebben? Of misschien als losse patch file?

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.

3 participants