Skip to content

Conversation

@ethnt
Copy link
Owner

@ethnt ethnt commented Nov 10, 2025

No description provided.

@ethnt ethnt added the feature New feature or request label Nov 10, 2025
@ethnt ethnt merged commit 1957d6b into main Nov 10, 2025
3 of 4 checks passed
@ethnt ethnt deleted the feature/atuin branch November 10, 2025 17:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

feature New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants