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

Editorial: Highlight diff in B.3.4 compared to the original semantics #2976

Closed
wants to merge 1 commit into from

Conversation

nicolo-ribaudo
Copy link
Member

This is also done in B.3.1, B.3.2.4 and B.3.2.5, and it makes it easier to understand how Annex B is modifying the original semantics.

@nicolo-ribaudo nicolo-ribaudo changed the title Editorial: higlight diff in B.3.4 compared to the original semantics Editorial: Highlight diff in B.3.4 compared to the original semantics Dec 16, 2022
@michaelficarra
Copy link
Member

@jmdyck Could we incorporate this into #2952 using the flagging approach from that PR?

@jmdyck
Copy link
Collaborator

jmdyck commented Jan 31, 2023

PR #2952 already incorporates it.

@michaelficarra
Copy link
Member

@jmdyck Oh, I looked but must have missed it because of the big difference in line numbers.

Okay, then I am going to close this in favour of #2952, since we already decided we will take that approach.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants