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

Fix namespace: libra #656

Merged
merged 49 commits into from
Aug 13, 2024
Merged

Fix namespace: libra #656

merged 49 commits into from
Aug 13, 2024

Conversation

200km
Copy link
Member

@200km 200km commented Jul 20, 2024

Related issues

#326

Description

Rename libra to math or other appropriate namespace.

Test results

See CI.

Impact

Major update

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 01:27
@200km 200km requested review from ogoogo and removed request for a team July 20, 2024 01:27
@200km 200km changed the title [WIP] Fix namespace: libra Fix namespace: libra Jul 20, 2024
@200km 200km merged commit 768107b into develop Aug 13, 2024
11 checks passed
@200km 200km deleted the feature/fix-name-space branch August 13, 2024 03:59
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