Skip to content

Conversation

cotti
Copy link
Contributor

@cotti cotti commented Apr 11, 2025

Resolves #1056

@cotti cotti added the fix label Apr 11, 2025
@cotti cotti self-assigned this Apr 11, 2025
@cotti cotti requested a review from a team as a code owner April 11, 2025 13:17
@cotti cotti merged commit 94a0eb1 into main Apr 11, 2025
15 checks passed
@cotti cotti deleted the fix/banner_adjustments branch April 11, 2025 13:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

[Design] Navigation between /docs and /guide
2 participants