Skip to content
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

small fixes #758

Merged
merged 1 commit into from
Jul 18, 2024
Merged

small fixes #758

merged 1 commit into from
Jul 18, 2024

Conversation

philouail
Copy link
Collaborator

This is all i could find from my branch that was not related to the import/export stuff :)

@philouail philouail requested a review from jorainer July 18, 2024 11:39
jorainer
jorainer approved these changes Jul 18, 2024
View reviewed changes
Copy link
Collaborator

@jorainer jorainer left a comment

Choose a reason for hiding this comment

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

Thanks for the quick fixes!

@jorainer jorainer merged commit 703c7f6 into jomain Jul 18, 2024
1 of 3 checks passed
@philouail philouail deleted the quick_fix branch July 18, 2024 11:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jorainer jorainer jorainer approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@philouail @jorainer