Skip to content

[upstream_utils] Remove memory library #8035

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

Merged

Conversation

calcmogul
Copy link
Member

We added this in 2022. If we haven't used it by now, we probably never will and it's just wasting space.

@calcmogul calcmogul requested review from PeterJohnson and a team as code owners June 24, 2025 00:35
@github-actions github-actions bot added the component: wpiutil WPI utility library label Jun 24, 2025
@calcmogul calcmogul force-pushed the upstream-utils-remove-memory branch from 144be7b to 034e89e Compare June 24, 2025 00:40
@sciencewhiz
Copy link
Contributor

There's exclusions in the docs build that can be removed

@calcmogul calcmogul force-pushed the upstream-utils-remove-memory branch from 034e89e to 9598423 Compare June 24, 2025 01:13
We added this in 2022. If we haven't used it by now, we probably never
will and it's just wasting space.
@calcmogul calcmogul force-pushed the upstream-utils-remove-memory branch from 9598423 to 91a1c85 Compare June 24, 2025 01:31
@PeterJohnson PeterJohnson merged commit ddc5220 into wpilibsuite:main Jun 25, 2025
46 checks passed
@calcmogul calcmogul deleted the upstream-utils-remove-memory branch June 25, 2025 05:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
component: wpiutil WPI utility library
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants