Skip to content

Conversation

@lausek
Copy link
Contributor

@lausek lausek commented Feb 25, 2024

I think this was intended to say do not edit

@mrlubos
Copy link
Collaborator

mrlubos commented Feb 25, 2024

@lausek feel free to open this pull request against our fork if you'd like it merged

@ferdikoomen ferdikoomen merged commit a9af76d into ferdikoomen:master Mar 17, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

3 participants