Skip to content

Conversation

yoavweiss
Copy link
Contributor

@martinthomson provided some simplification comments on the hash reporting PR after it landed.

This integrates these comments.

Copy link
Member

@martinthomson martinthomson left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks Yoav.

@antosart antosart added the editorial Changes that do not affect how the standard is understood label Apr 30, 2025
@antosart antosart merged commit 205cac6 into main Apr 30, 2025
2 checks passed
@antosart antosart deleted the comments_from_mt branch April 30, 2025 06:51
github-actions bot added a commit that referenced this pull request Apr 30, 2025
SHA: 205cac6
Reason: push, by antosart

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

editorial Changes that do not affect how the standard is understood

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants