Skip to content

Clean-up #6287

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.

Sign up for GitHub

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

Jump to bottom
Merged
omichel merged 1 commit into from
Jul 3, 2023
Merged

Clean-up #6287

omichel merged 1 commit into from
Jul 3, 2023

Conversation

@omichel
Copy link
Member

@omichel omichel commented Jul 3, 2023 •
edited
Loading

Small clean-up pointed out here.

@omichel omichel self-assigned this Jul 3, 2023
@omichel omichel added the cleanup Any design, code, file or folder cleanup label Jul 3, 2023
@omichel omichel added this to the R2023b-rev1 milestone Jul 3, 2023
@omichel omichel marked this pull request as ready for review July 3, 2023 09:05
@omichel omichel requested a review from a team as a code owner July 3, 2023 09:05
BenjaminDeleze
BenjaminDeleze approved these changes Jul 3, 2023
View reviewed changes
Copy link

@BenjaminDeleze BenjaminDeleze left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you!

@omichel omichel merged commit d07b984 into master Jul 3, 2023
@omichel omichel deleted the fix-useless-test branch July 3, 2023 09:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@BenjaminDeleze BenjaminDeleze BenjaminDeleze approved these changes

Assignees

@omichel omichel

Labels

cleanup Any design, code, file or folder cleanup

Milestone

R2023b-rev1

Development

Successfully merging this pull request may close these issues.

3 participants

@omichel @BenjaminDeleze