Skip to content

Clarify reference to ISRG.#317

Merged
bdaehlie merged 1 commit into
mainfrom
issue313
Dec 18, 2025
Merged

Clarify reference to ISRG.#317
bdaehlie merged 1 commit into
mainfrom
issue313

Conversation

@bdaehlie
Copy link
Copy Markdown
Contributor

Resolves issue #313

@bdaehlie bdaehlie requested a review from aarongable December 18, 2025 00:06
@bdaehlie bdaehlie merged commit 62ce555 into main Dec 18, 2025
3 checks passed
@bdaehlie bdaehlie deleted the issue313 branch December 18, 2025 04:42
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 this pull request may close these issues.

2 participants