Skip to content

re-roxygenize under 7.3.3#213

Merged
MichaelChirico merged 1 commit intomainfrom
roxy
Jan 5, 2026
Merged

re-roxygenize under 7.3.3#213
MichaelChirico merged 1 commit intomainfrom
roxy

Conversation

@MichaelChirico
Copy link
Copy Markdown
Collaborator

To minimize diff of doing so in #202

@MichaelChirico MichaelChirico added the documentation Improvements or additions to documentation label Jan 5, 2026
@MichaelChirico MichaelChirico merged commit 154221e into main Jan 5, 2026
10 checks passed
@MichaelChirico MichaelChirico deleted the roxy branch January 5, 2026 07:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant