Skip to content

avoid string naming of members#4507

Merged
rockfordlhotka merged 4 commits into
MarimerLLC:mainfrom
SimonCropp:avoid-string-naming-of-members
Feb 17, 2025
Merged

avoid string naming of members#4507
rockfordlhotka merged 4 commits into
MarimerLLC:mainfrom
SimonCropp:avoid-string-naming-of-members

Conversation

@SimonCropp

Copy link
Copy Markdown
Contributor

No description provided.

@SimonCropp

Copy link
Copy Markdown
Contributor Author

hmm i think i broke something here. i will take another look

@SimonCropp

Copy link
Copy Markdown
Contributor Author

good to go

@rockfordlhotka rockfordlhotka merged commit be16b9d into MarimerLLC:main Feb 17, 2025
@SimonCropp SimonCropp deleted the avoid-string-naming-of-members branch February 18, 2025 01:38
@github-actions

Copy link
Copy Markdown

This pull request has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.

@github-actions github-actions Bot locked as resolved and limited conversation to collaborators Feb 19, 2026
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.

2 participants