Closed shivaprasad-metimath closed 3 months ago
Merge main to release/3.30 to get a stable build of the latest 3.30.1.
This will be merged locally and pushed to get a true fastforward merge without a merge commit, which git does not allow through the pull request web UI, unfortunately.
See PRs to main.
Summary and Scope
Merge main to release/3.30 to get a stable build of the latest 3.30.1.
This will be merged locally and pushed to get a true fastforward merge without a merge commit, which git does not allow through the pull request web UI, unfortunately.
Issues and Related PRs
Testing
Test description:
See PRs to main.
Risks and Mitigations
See PRs to main.
Pull Request Checklist