Skip to content

Fix for issue #809: Delete the key at shutdown#810

Closed
jkriegshauser wants to merge 1 commit intomicrosoft:masterfrom
jkriegshauser:fix-unix-shutdown
Closed

Fix for issue #809: Delete the key at shutdown#810
jkriegshauser wants to merge 1 commit intomicrosoft:masterfrom
jkriegshauser:fix-unix-shutdown

Conversation

@jkriegshauser
Copy link

See issue #809

daanx added a commit that referenced this pull request Mar 2, 2024
@daanx
Copy link
Collaborator

daanx commented Mar 2, 2024

That is great -- thanks for the PR! I merged manually (into dev for now) as the PR was based on master. Thanks again.

@daanx daanx closed this Mar 2, 2024
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.

2 participants