Skip to content

Conversation

maximpertsov
Copy link
Contributor

@maximpertsov maximpertsov commented Jun 13, 2023

Merge the rc branch back into main upon successful release.

See discussion: #317

@maximpertsov maximpertsov marked this pull request as ready for review June 13, 2023 23:37
@maximpertsov maximpertsov requested a review from a team as a code owner June 13, 2023 23:37
@maximpertsov maximpertsov requested review from clintpurser and stuqdog and removed request for clintpurser and stuqdog June 13, 2023 23:37
@maximpertsov maximpertsov requested a review from njooma June 14, 2023 14:23
@maximpertsov maximpertsov merged commit d912711 into main Jun 15, 2023
@maximpertsov maximpertsov deleted the rc-0.4.1 branch June 15, 2023 14:47
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