Skip to content

Conversation

@basepi
Copy link
Contributor

@basepi basepi commented Sep 19, 2023

I didn't notice that #1903 wasn't targeted to main. This PR makes sure that change isn't lost when we release.

@basepi
Copy link
Contributor Author

basepi commented Sep 19, 2023

DO NOT click update branch.

@basepi basepi enabled auto-merge (squash) September 19, 2023 16:46
@basepi basepi merged commit f216566 into main Sep 19, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

4 participants