Skip to content

Conversation

@tomudding
Copy link
Member

Description

I came across this branch when I was cleaning up my local setup earlier today. I do not know why I never pushed it. This will be my last contribution for now.

Types of changes

  • Bug fix (non-breaking change which fixes an issue)
  • New feature (non-breaking change which adds functionality)
  • Breaking change (fix or feature that would cause existing functionality to change)
  • Documentation improvement (no changes to code)
  • Other (please specify)

I came across this branch when I was cleaning up my local setup earlier today.
I do not know why I never pushed it. This will be my last contribution for now.
@tomudding tomudding merged commit 87ffd38 into GEWIS:main May 28, 2025
4 checks passed
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.

1 participant