Skip to content
This repository has been archived by the owner on Jan 12, 2024. It is now read-only.

Fixing the build. #803

Merged
merged 1 commit into from
Jul 31, 2023
Merged

Fixing the build. #803

merged 1 commit into from
Jul 31, 2023

Conversation

kuzminrobin
Copy link
Contributor

@kuzminrobin kuzminrobin commented Jul 31, 2023 •
edited
Loading

Fetches the fix from the release branch to main.
Group PR:

@kuzminrobin kuzminrobin self-assigned this Jul 31, 2023
@kuzminrobin kuzminrobin mentioned this pull request Jul 31, 2023
Merged
@kuzminrobin kuzminrobin marked this pull request as ready for review July 31, 2023 21:52
@kuzminrobin kuzminrobin merged commit 56b3375 into main Jul 31, 2023
34 checks passed
@kuzminrobin kuzminrobin deleted the kuzminrobin/releaseFixToMain branch July 31, 2023 22:13
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@ScottCarda-MS ScottCarda-MS ScottCarda-MS approved these changes

@minestarks minestarks minestarks approved these changes

Assignees

@kuzminrobin kuzminrobin

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@kuzminrobin @minestarks @ScottCarda-MS