Skip to content

Conversation

@spliffone
Copy link
Member

@spliffone spliffone commented Oct 16, 2025

Describe in detail what your merge request does and why. Add relevant
screenshots and reference related issues via Closes #XY or Related to #XY.


@spliffone spliffone requested a review from a team as a code owner October 16, 2025 12:31
@spliffone spliffone added the documentation Improvements or additions to documentation label Oct 16, 2025
@github-actions
Copy link

@timowolf timowolf self-assigned this Oct 20, 2025
@timowolf timowolf requested review from kfenner and timowolf and removed request for timowolf October 20, 2025 08:20
@timowolf timowolf assigned kfenner and unassigned timowolf Oct 20, 2025
Copy link
Member

@kfenner kfenner left a comment

Choose a reason for hiding this comment

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

LGTM 👍

@spliffone spliffone force-pushed the docs/document-display-util branch from ba1fc9b to 7ff541c Compare November 11, 2025 09:19
@github-actions
Copy link

Code Coverage

@kfenner kfenner enabled auto-merge (rebase) November 11, 2025 09:32
@kfenner kfenner merged commit 15004ba into main Nov 11, 2025
11 checks passed
@kfenner kfenner deleted the docs/document-display-util branch November 11, 2025 09:33
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.

4 participants