Skip to content

Conversation

hecrj
Copy link
Member

@hecrj hecrj commented Apr 7, 2024

@hecrj hecrj added improvement An internal improvement change labels Apr 7, 2024
@hecrj hecrj added this to the 0.13 milestone Apr 7, 2024
@hecrj hecrj enabled auto-merge April 7, 2024 10:45
@hecrj hecrj merged commit 5905e7c into master Apr 7, 2024
@hecrj hecrj deleted the cargo-lints branch April 7, 2024 10:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
change improvement An internal improvement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant