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.

Sign up for GitHub

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

Jump to bottom

List sections range #640

Merged
merged 1 commit into from
Feb 1, 2024
Merged

List sections range #640

merged 1 commit into from
Feb 1, 2024

Conversation

zimeon
Copy link
Contributor

@zimeon zimeon commented Sep 23, 2023

Fixes #637

awoods
awoods approved these changes Nov 5, 2023
View reviewed changes
Copy link
Member

@awoods awoods left a comment

Choose a reason for hiding this comment

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

Section 3.4 is a bit of an outlier; but this PR is an improvement.

@zimeon zimeon added the Editorial Editorial issues (no changes to intent) label Feb 1, 2024
@julianmorley julianmorley merged commit 0a105dc into main Feb 1, 2024
@julianmorley julianmorley deleted the issue-637 branch February 1, 2024 17:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@neilsjefferies neilsjefferies neilsjefferies approved these changes

@julianmorley julianmorley julianmorley approved these changes

@awoods awoods awoods approved these changes

@rosy1280 rosy1280 rosy1280 approved these changes

Assignees

@zimeon zimeon

Labels
Editorial Editorial issues (no changes to intent)
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Clarify that object structure is defined by sections 3.2 through 3.9
5 participants
@zimeon @rosy1280 @awoods @julianmorley @neilsjefferies