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

Public Comment 1.8 Various editorial, minor and major comments #81

Closed
chris-little opened this issue Feb 1, 2024 · 1 comment
Closed

Public Comment 1.8 Various editorial, minor and major comments #81

chris-little opened this issue Feb 1, 2024 · 1 comment
Labels
Public Comment Issue from a formal Request for Public Comment

Comments

@chris-little
Copy link
Contributor

chris-little commented Feb 1, 2024 •
edited
Loading

These have been split into separate issues: Editorial (1.8.1), Minor (1.8.2) and each of the separate Major criticality comments (1.8.3.1 - 1.8.3.5).
This issue will be closed when all the sub-issues have been addressed.
@chris-little chris-little changed the title Public Comment 1.8 Various editorial, minro and major comments Public Comment 1.8 Various editorial, minor and major comments Feb 1, 2024
@chris-little chris-little added the Public Comment Issue from a formal Request for Public Comment label Feb 1, 2024
@chris-little chris-little mentioned this issue Feb 7, 2024
Merged
@chris-little
Copy link
Contributor Author

All of the suggestons have be addressed, either by adoption or in very few cases rejected with reasons given, in PRs #83 and #86.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Public Comment Issue from a formal Request for Public Comment
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@chris-little