Skip to content

Fix #573#575

Closed
giuliohome wants to merge 1 commit intoAzure:mainfrom
giuliohome:main
Closed

Fix #573#575
giuliohome wants to merge 1 commit intoAzure:mainfrom
giuliohome:main

Conversation

@giuliohome
Copy link
Copy Markdown

@giuliohome giuliohome commented Nov 11, 2024

@magodo
Copy link
Copy Markdown
Collaborator

magodo commented Nov 12, 2024

Hi @giuliohome, thank you for submitting this PR. I've slightly modified your version, mostly for the order and some option tunning. I've submitted a new PR #576 instead. Thank you again for this!

@magodo magodo closed this Nov 12, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants