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

Merge main to develop for hotfix #10 #11

Merged
merged 3 commits into from
Nov 30, 2023
Merged

Merge main to develop for hotfix #10 #11

merged 3 commits into from
Nov 30, 2023

Conversation

200km
Copy link
Member

@200km 200km commented Nov 27, 2023

Related issues

NA

Description

Merge main to develop for hotfix #10

Test results

NA

Impact

NA

Supplementary information

NA

Notes

NA

@200km 200km added the 🚀 priority::high priority high label Nov 27, 2023
@200km 200km self-assigned this Nov 27, 2023
@200km 200km requested a review from a team as a code owner November 27, 2023 22:44
@200km 200km requested review from suzuki-toshihir0, t-hosonuma and conjikidow and removed request for a team November 27, 2023 22:44
@200km 200km merged commit 7e51d80 into develop Nov 30, 2023
9 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
🚀 priority::high priority high
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants