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 hashing of Dates.Time. Fixes #29480 #29742

Merged
merged 1 commit into from
Oct 21, 2018
Merged

Fix hashing of Dates.Time. Fixes #29480 #29742

merged 1 commit into from
Oct 21, 2018

Conversation

JeffBezanson
Copy link
Member

@JeffBezanson JeffBezanson commented Oct 20, 2018

While this changes hash values, it fixes a case where hash lacked the correctness property, so can probably be backported?

Picked from #29509

@JeffBezanson JeffBezanson added dates Dates, times, and the Dates stdlib module bugfix This change fixes an existing bug backport pending 1.0 labels Oct 20, 2018
@JeffBezanson JeffBezanson merged commit 1db6047 into master Oct 21, 2018
@JeffBezanson JeffBezanson deleted the jb/jq/fix29480 branch October 21, 2018 02:53
KristofferC pushed a commit that referenced this pull request Oct 29, 2018
KristofferC pushed a commit that referenced this pull request Feb 11, 2019
KristofferC pushed a commit that referenced this pull request Feb 20, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bugfix This change fixes an existing bug dates Dates, times, and the Dates stdlib module
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants