Skip to content

Conversation

@MarijnS95
Copy link
Member

No description provided.

@MarijnS95 MarijnS95 enabled auto-merge (squash) September 16, 2025 13:17
@MarijnS95 MarijnS95 merged commit 1ffff38 into main Sep 16, 2025
4 checks passed
@MarijnS95 MarijnS95 deleted the clippy-1.89 branch September 16, 2025 13:40
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