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 develop to main for Minor update v7.1.0 #546

Merged
merged 153 commits into from
Nov 13, 2023
Merged

Merge develop to main for Minor update v7.1.0 #546

merged 153 commits into from
Nov 13, 2023

Conversation

200km
Copy link
Member

@200km 200km commented Nov 13, 2023

Related issues

NA

Description

Merge develop to main for Minor update v7.1.0

Test results

See CI result

Impact

Minor update

Supplementary information

NA

@200km 200km added priority::medium priority medium minor update add functionality in a backwards compatible manner labels Nov 13, 2023
@200km 200km added this to the Minor update v7.1.0 milestone Nov 13, 2023
@200km 200km self-assigned this Nov 13, 2023
@200km 200km requested review from sksat and a team as code owners November 13, 2023 08:03
@200km 200km requested review from suzuki-toshihir0, t-hosonuma and conjikidow and removed request for a team November 13, 2023 08:03
@200km 200km merged commit f85f83d into main Nov 13, 2023
47 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
minor update add functionality in a backwards compatible manner priority::medium priority medium
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

3 participants