Skip to content

fix: check if change is deleted#76

Merged
Cretezy merged 2 commits intoCretezy:mainfrom
istudyatuni:push-rxwwqlnrukss
Feb 15, 2025
Merged

fix: check if change is deleted#76
Cretezy merged 2 commits intoCretezy:mainfrom
istudyatuni:push-rxwwqlnrukss

Conversation

@istudyatuni
Copy link
Collaborator

@istudyatuni istudyatuni commented Dec 7, 2024

fix #50

  • use arc<mutex> for storing command history

@istudyatuni istudyatuni marked this pull request as draft December 8, 2024 07:47
@istudyatuni istudyatuni force-pushed the push-rxwwqlnrukss branch 3 times, most recently from 36bde68 to 4af332f Compare December 8, 2024 09:28
@istudyatuni istudyatuni marked this pull request as ready for review December 8, 2024 09:29
Copy link
Owner

@Cretezy Cretezy left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks! I had done something like this in a private branch.

@Cretezy Cretezy merged commit 90e5b6e into Cretezy:main Feb 15, 2025
@istudyatuni istudyatuni deleted the push-rxwwqlnrukss branch February 15, 2025 19:34
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.

Crash after squash if focusing on working commit

2 participants