Skip to content

Conversation

@gregsdennis
Copy link
Member

@gregsdennis gregsdennis commented Dec 21, 2025

What kind of change does this PR introduce?

edit

Issue & Discussion References

Relates to #1612

Summary

I had Copilot do a quick consistency scan of the specs. It found a few language issues, so I fixed them.

Does this PR introduce a breaking change?

No

Copy link
Member

@jdesrosiers jdesrosiers left a comment

Choose a reason for hiding this comment

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

🎉

Looks like part of it was a bad merge at one point. Glad you caught all these things. I didn't check the footnote numbering changes. I'm just going to trust that it makes sense. I want to replace footnotes with something a little more friendly anyway, so it wouldn't be the end of the world if something broke there.

Co-authored-by: Jason Desrosiers <jdesrosi@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

Status: In Progress

Development

Successfully merging this pull request may close these issues.

3 participants