Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Looking at it again, it does look a bit "odd" without bold, so revert the repolist change done in #24307. <img width="141" alt="image" src="https://user-images.githubusercontent.com/115237/234331813-c6e2402f-e099-43b3-aed6-46a0e24e3899.png">
- Loading branch information