Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Release 7.3.1 #1222

Merged
merged 8 commits into from
Aug 8, 2023
Merged

Release 7.3.1 #1222

merged 8 commits into from
Aug 8, 2023

Conversation

danirabbit
Copy link
Member

@danirabbit danirabbit commented Jul 20, 2023

No description provided.

@danirabbit danirabbit marked this pull request as draft July 20, 2023 17:20
@danirabbit danirabbit requested a review from a team July 25, 2023 16:20
@danirabbit danirabbit marked this pull request as ready for review July 25, 2023 16:20
zeebok
zeebok previously approved these changes Jul 25, 2023
@zeebok
Copy link

zeebok commented Jul 25, 2023

Whoops it didn't register that you requested UX to approve this instead of desktop-devs 😅

micahilbery
micahilbery previously approved these changes Jul 30, 2023
Copy link
Member

@micahilbery micahilbery left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🚀

@zeebok
Copy link

zeebok commented Aug 1, 2023

@danirabbit Looks like this needs to be updated before it can be merged

@danirabbit danirabbit merged commit 8598d27 into main Aug 8, 2023
3 checks passed
@danirabbit danirabbit deleted the release-7.3.1 branch August 8, 2023 20:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
No open projects
Status: Done
Development

Successfully merging this pull request may close these issues.

3 participants