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

Address erratum 5874 #1346

Closed
seanturner opened this issue Mar 28, 2024 · 0 comments · Fixed by #1347
Closed

Address erratum 5874 #1346

seanturner opened this issue Mar 28, 2024 · 0 comments · Fixed by #1347

Comments

@seanturner
Copy link
Contributor

Might need some text based on the thread about erratum 5874.

seanturner added a commit that referenced this issue Mar 28, 2024
Closes #1346.

Note that I took the suggested text from Ben's message not from the submitted errata.
@ekr ekr closed this as completed in #1347 Apr 5, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant