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

WIP: backports for 1.0.5 #32263

Closed
wants to merge 10 commits into from
Closed

WIP: backports for 1.0.5 #32263

wants to merge 10 commits into from

Conversation

JeffBezanson
Copy link
Member

No description provided.

tanmaykm and others added 5 commits June 6, 2019 16:33
Using `futimes` and passing NULL for the `times` parameter sets the current and access file times, but does not require file ownwership.

From man page:
> If times is NULL, the access and modification times are set to the current time. The caller must be the owner of the file, have permission to write the file, or be the superuser.
(cherry picked from commit 3b3a163)
* Add Float16 comparisons

* Add @eval

* Add union

* Add != to tests

(cherry picked from commit 1d3c371)
(cherry picked from commit 05785f9)
@JeffBezanson JeffBezanson changed the title WIP: backports for release-1.0.5 WIP: backports for 1.0.5 Jun 6, 2019
@ararslan ararslan added DO NOT MERGE Do not merge this PR! release Release management and versioning. labels Jun 6, 2019
@ararslan ararslan added this to the 1.0.x milestone Jun 6, 2019
@KristofferC
Copy link
Member

Superseded by #33075.

@fredrikekre fredrikekre deleted the jb/backports-1.0.5 branch August 26, 2019 12:27
@DilumAluthge DilumAluthge removed the DO NOT MERGE Do not merge this PR! label Jun 18, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
release Release management and versioning.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

9 participants