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

Add gnss namespace #657

Merged
merged 6 commits into from
Aug 13, 2024
Merged

Conversation

200km
Copy link
Member

@200km 200km commented Jul 20, 2024

Related issues

#326

Description

Add gnss namespace.

Test results

See CI.

Impact

NA

Supplementary information

NA

@200km 200km added priority::medium priority medium major update incompatible API changes labels Jul 20, 2024
@200km 200km added this to the Major Update v8.0.0 milestone Jul 20, 2024
@200km 200km self-assigned this Jul 20, 2024
@200km 200km requested review from sksat and a team as code owners July 20, 2024 05:35
@200km 200km requested review from ogoogo, Hiro-0110, seki-hiro, suzuki-toshihir0, t-hosonuma and conjikidow and removed request for a team July 20, 2024 05:35
@200km 200km merged commit aae3b57 into feature/fix-name-space Aug 13, 2024
11 checks passed
@200km 200km deleted the feature/add-gnss-namespace branch August 13, 2024 03:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
major update incompatible API changes priority::medium priority medium
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

2 participants