Skip to content

Conversation

@glwagner
Copy link
Member

@glwagner glwagner commented Nov 7, 2025

No description provided.

Copy link
Collaborator

@giordano giordano left a comment

Choose a reason for hiding this comment

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

For the record, see discussion at #76 (comment)

@giordano giordano merged commit 073f16e into main Nov 7, 2025
1 check passed
@giordano giordano deleted the glwagner-patch-1 branch November 7, 2025 14:12
@giordano giordano added the documentation 📜 Improvements or additions to documentation label Nov 7, 2025
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.

3 participants