Skip to content

Conversation

@nadment
Copy link
Contributor

@nadment nadment commented Nov 12, 2025

No description provided.

@nadment nadment added this to the 2.17 milestone Nov 12, 2025
@nadment nadment linked an issue Nov 12, 2025 that may be closed by this pull request
@github-actions github-actions bot removed the Hop Gui label Nov 12, 2025
@hansva hansva merged commit f82bb93 into apache:main Nov 14, 2025
2 checks passed
@github-actions github-actions bot removed this from the 2.17 milestone Nov 14, 2025
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.

[Bug]: Git diff visual needs some adjustment

2 participants