Skip to content

Conversation

@PVince81
Copy link
Member

@PVince81 PVince81 force-pushed the bugfix/server/32350/rename-settings branch from 20e1ee6 to b5d0d74 Compare July 21, 2022 13:02
@PVince81 PVince81 requested a review from nickvergessen July 21, 2022 13:03
@nickvergessen nickvergessen merged commit c75741d into master Jul 21, 2022
@delete-merged-branch delete-merged-branch bot deleted the bugfix/server/32350/rename-settings branch July 21, 2022 13:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants