Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

possibly fix server delete #396

Merged
merged 1 commit into from
Aug 26, 2023
Merged

possibly fix server delete #396

merged 1 commit into from
Aug 26, 2023

Conversation

wdhdev
Copy link
Member

@wdhdev wdhdev commented Aug 26, 2023

No description provided.

@DEV-DIBSTER DEV-DIBSTER added bug Something isn't right. enhancement Quality of life changes. awaiting team approval Pull requests that still need to be approved by Development Team member(s). labels Aug 26, 2023
@wdhdev wdhdev merged commit 0c03add into master Aug 26, 2023
2 checks passed
@wdhdev wdhdev deleted the WilliamDavidHarrison-patch-1 branch August 26, 2023 02:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
awaiting team approval Pull requests that still need to be approved by Development Team member(s). bug Something isn't right. enhancement Quality of life changes.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants