Skip to content
This repository has been archived by the owner on Nov 4, 2024. It is now read-only.

fix: Wrong reference #4814

Merged

Conversation

Jorrik-Klijnsma-Work
Copy link
Contributor

revert a non-matching name

@Jorrik-Klijnsma-Work Jorrik-Klijnsma-Work merged commit 5d711c7 into develop Jul 12, 2023
@Jorrik-Klijnsma-Work Jorrik-Klijnsma-Work deleted the feature/COR-1629-remove-wrong-slang-name branch July 12, 2023 09:40
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants