Skip to content

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

Merged
JeffBezanson merged 1 commit intomasterfrom
jb/jq/fix29480
Oct 21, 2018
Merged

Fix hashing of Dates.Time. Fixes #29480#29742
JeffBezanson merged 1 commit intomasterfrom
jb/jq/fix29480

Conversation

@JeffBezanson
Copy link
Copy Markdown
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