Skip to content

Conversation

hecrj
Copy link
Member

@hecrj hecrj commented Feb 15, 2024

No description provided.

@hecrj hecrj added improvement An internal improvement widget change labels Feb 15, 2024
@hecrj hecrj added this to the 0.12 milestone Feb 15, 2024
@hecrj hecrj enabled auto-merge February 15, 2024 01:09
@hecrj hecrj disabled auto-merge February 15, 2024 01:21
@hecrj hecrj enabled auto-merge February 15, 2024 01:39
@hecrj hecrj merged commit 84cc9f1 into master Feb 15, 2024
@hecrj hecrj deleted the improve-ergonomics branch February 15, 2024 01:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
change improvement An internal improvement widget
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant