Skip to content

Conversation

@Nuklon
Copy link
Collaborator

@Nuklon Nuklon commented Nov 26, 2025

Pull request type

Please check the type of change your PR introduces:

  • Update
  • Bugfix
  • Feature
  • Code style update (formatting, renaming)
  • Refactoring (no functional changes, no api changes)
  • Build related changes
  • Documentation content changes

What is the current/new behavior?

Small tweak to PR #1583.

@Nuklon Nuklon requested a review from pomianowski as a code owner November 26, 2025 09:38
@github-actions github-actions bot added themes Topic is related to managing themes PR Pull request dotnet release labels Nov 26, 2025
@Nuklon
Copy link
Collaborator Author

Nuklon commented Dec 16, 2025

We should also merge this @pomianowski to avoid a double color lookup.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dotnet PR Pull request release themes Topic is related to managing themes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant