Skip to content

Conversation

@ahms5
Copy link
Member

@ahms5 ahms5 commented Sep 12, 2025

Changes proposed in this pull request:

@ahms5 ahms5 changed the base branch from main to develop_1.0.0 September 12, 2025 10:10
@ahms5 ahms5 added this to the v1.0.0 milestone Sep 12, 2025
@ahms5 ahms5 added the bug Something isn't working label Sep 12, 2025
@ahms5 ahms5 self-assigned this Sep 12, 2025
@mberz
Copy link
Member

mberz commented Sep 12, 2025

Ruff is failing. Otherwise approved

@ahms5 ahms5 removed the request for review from HenningSchaar September 12, 2025 12:37
@ahms5 ahms5 merged commit 9e204df into develop_1.0.0 Sep 12, 2025
12 checks passed
@ahms5 ahms5 deleted the bug/mergefix branch September 12, 2025 13:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants