Skip to content

Conversation

@mikez
Copy link
Contributor

@mikez mikez commented Jun 14, 2023

No description provided.

@wader
Copy link
Owner

wader commented Jun 14, 2023

Hey, would it be ok to squash into one commit and rebase on top of master (and change PR to merge to master)? gets a bit messy like this

@mikez
Copy link
Contributor Author

mikez commented Jun 14, 2023

@wader sure thing 👍

@mikez mikez closed this Jun 14, 2023
@mikez
Copy link
Contributor Author

mikez commented Jun 14, 2023

see #703

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