Skip to content

Conversation

@vaind
Copy link
Collaborator

@vaind vaind commented Oct 30, 2023

Minor improvements cherry-picked from the closes #2750

#skip-changelog

@jamescrosswell
Copy link
Collaborator

@vaind did you maybe make this PR to the wrong branch? That's an aweful lot of changes for some "minor improvements"...

@vaind vaind changed the base branch from main to feat/4.0.0 October 31, 2023 06:14
@vaind
Copy link
Collaborator Author

vaind commented Oct 31, 2023

@vaind did you maybe make this PR to the wrong branch? That's an aweful lot of changes for some "minor improvements"...

yep, I've changed the base branch

@bruno-garcia bruno-garcia merged commit 076b0f1 into feat/4.0.0 Nov 3, 2023
@bruno-garcia bruno-garcia deleted the chore/minor-script-improvements branch November 3, 2023 20:09
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.

4 participants