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

stdune: add Float.min #7009

Closed
wants to merge 1 commit into from
Closed

Conversation

Alizter
Copy link
Collaborator

@Alizter Alizter commented Feb 5, 2023

Needed for #6996.

No longer needed, however might still be of interest. If not, feel free to close.

Signed-off-by: Ali Caglayan <alizter@gmail.com>

<!-- ps-id: 6cb6003c-c98a-46a0-82ec-d5dd67919f03 -->
@Alizter Alizter changed the title add Float.min stdune: add Float.min Feb 5, 2023
@Alizter Alizter requested a review from rgrinberg February 5, 2023 23:45
@emillon
Copy link
Collaborator

emillon commented Feb 6, 2023

If we don't need it I don't think we should add it. It can be added as needed.

@Alizter Alizter closed this Feb 6, 2023
@Alizter Alizter deleted the ps/rr/add_float_min branch February 6, 2023 14:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants