Skip to content

Conversation

@Turbo87
Copy link
Member

@Turbo87 Turbo87 commented Mar 3, 2025

The top-most button should not have a dedicated top margin...

The top-most button should not have a dedicated top margin...
@Turbo87 Turbo87 added C-bug 🐞 Category: unintended, undesired behavior A-frontend 🐹 labels Mar 3, 2025
@Turbo87 Turbo87 enabled auto-merge (squash) March 3, 2025 12:04
@Turbo87 Turbo87 merged commit 73413fb into rust-lang:main Mar 3, 2025
10 of 11 checks passed
@Turbo87 Turbo87 deleted the token-margins branch March 3, 2025 12:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A-frontend 🐹 C-bug 🐞 Category: unintended, undesired behavior

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant