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
Backport PR #2522 specjbb mdlog fix #2523
Backport PR #2522 specjbb mdlog fix #2523
Conversation
See PR distributed-system-analysis#2522. This is a simple backport of the fix for the undefined `mdlog` variable.
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.
Same comments as for the main
version, implicitly, but an additional comment which is really a metacomment on the main
version. 😄
I'm going to hold off on reviewing this until #2522 is settled. |
Now that PR #2522 is merge into |
4e856b5
to
55e51d6
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.
Updated and ready for review.
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.
There's no single item here which would be worth holding this up for, but the sum of them makes it seem like another pass is in order.
Also, it might be worth tweaking the PR description, as this only backports part of #2522 (as the other part doesn't apply). |
This is a straight-forward back-port of part of PR #2522, the undefined
mdlog
variable, and the additional tests.