Skip to content

Discourage deletion, encourage yanking#8857

Merged
di merged 1 commit intomasterfrom
fix/8674
Nov 20, 2020
Merged

Discourage deletion, encourage yanking#8857
di merged 1 commit intomasterfrom
fix/8674

Conversation

@di
Copy link
Copy Markdown
Member

@di di commented Nov 20, 2020

Fixes #8674.

@di di merged commit 0ad848d into master Nov 20, 2020
@di di deleted the fix/8674 branch November 20, 2020 20:17
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.

Discourage deletion, encourage yanking in "sure you want to delete this?" message/FAQ

2 participants