Skip to content

Minor CS fixes#1056

Merged
mvorisek merged 4 commits intodevelopfrom
minor_cs_fixes
Aug 21, 2022
Merged

Minor CS fixes#1056
mvorisek merged 4 commits intodevelopfrom
minor_cs_fixes

Conversation

@mvorisek
Copy link
Copy Markdown
Member

No description provided.

@mvorisek mvorisek marked this pull request as ready for review August 21, 2022 10:37
@mvorisek mvorisek marked this pull request as draft August 21, 2022 10:38
@mvorisek mvorisek marked this pull request as ready for review August 21, 2022 10:43
@mvorisek mvorisek merged commit 4c845a7 into develop Aug 21, 2022
@mvorisek mvorisek deleted the minor_cs_fixes branch August 21, 2022 18:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Development

Successfully merging this pull request may close these issues.

1 participant