Skip to content
This repository has been archived by the owner on Sep 11, 2024. It is now read-only.

Fix user menu font #12879

Merged
merged 1 commit into from
Aug 9, 2024
Merged

Fix user menu font #12879

merged 1 commit into from
Aug 9, 2024

Conversation

florianduros
Copy link
Contributor

@florianduros florianduros commented Aug 9, 2024

Checklist

  • Tests written for new code (and old code if feasible).
  • New or updated public/exported symbols have accurate TSDoc documentation.
  • Linter and other CI checks pass.
  • Sign-off given on the changes (see CONTRIBUTING.md).

Regression due to #12876

@florianduros florianduros added the T-Defect Bugs, crashes, hangs, vulnerabilities, or other reported problems label Aug 9, 2024
@florianduros florianduros marked this pull request as ready for review August 9, 2024 13:49
@florianduros florianduros requested a review from a team as a code owner August 9, 2024 13:49
@florianduros florianduros requested review from dbkr and t3chguy August 9, 2024 13:49
@florianduros florianduros added this pull request to the merge queue Aug 9, 2024
Merged via the queue into develop with commit 5e98cbf Aug 9, 2024
38 of 39 checks passed
@florianduros florianduros deleted the florianduros/fix/user-menu-font branch August 9, 2024 14:31
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
T-Defect Bugs, crashes, hangs, vulnerabilities, or other reported problems
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants