-
Notifications
You must be signed in to change notification settings - Fork 163
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 timestamp string representation on different platforms #6777
Conversation
ba92879
to
7ff238f
Compare
f22e8ff
to
166615a
Compare
…lm-core into nc/fix_timestamp_multiplatform
d4483c5
to
dc15199
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM barring one spelling suggestion.
Co-authored-by: James Stone <james.stone@mongodb.com>
@nicola-cab in the future, please use the "squash" strategy when merging PRs like this into master to keep our main commit history clean. |
I noticed, I usually do use "squash" (and I selected that before to merge), however I think I hit a problem after I directly merged your changelog suggestion, I should have refreshed the page, because when I hit "squash and merge" what github did was a "merge commit". |
Ah okay, all good. It isn't the first time Github has had cache issues. 😅 |
What, How & Why?
Fixes: #5451
☑️ ToDos