Skip to content

minor: Fix unwanted leading whitespace in hover text#16824

Merged
bors merged 1 commit intorust-lang:masterfrom
Wilfred:size_whitespace
Mar 13, 2024
Merged

minor: Fix unwanted leading whitespace in hover text#16824
bors merged 1 commit intorust-lang:masterfrom
Wilfred:size_whitespace

Conversation

@Wilfred
Copy link
Copy Markdown
Contributor

@Wilfred Wilfred commented Mar 12, 2024

PR #16366 moved layout information to a separate line, so the leading whitespace is no longer necessary.

PR rust-lang#16366 moved layout information to a separate line, so the
leading whitespace is no longer necessary.
@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Mar 12, 2024
@lnicola
Copy link
Copy Markdown
Member

lnicola commented Mar 13, 2024

Thanks!

@bors r+

@bors
Copy link
Copy Markdown
Contributor

bors commented Mar 13, 2024

📌 Commit 30d3d68 has been approved by lnicola

It is now in the queue for this repository.

@lnicola lnicola changed the title Fix unwanted leading whitespace in hover text minor: Fix unwanted leading whitespace in hover text Mar 13, 2024
@bors
Copy link
Copy Markdown
Contributor

bors commented Mar 13, 2024

⌛ Testing commit 30d3d68 with merge e8182a5...

@bors
Copy link
Copy Markdown
Contributor

bors commented Mar 13, 2024

☀️ Test successful - checks-actions
Approved by: lnicola
Pushing e8182a5 to master...

@bors bors merged commit e8182a5 into rust-lang:master Mar 13, 2024
@Wilfred Wilfred deleted the size_whitespace branch February 7, 2025 19:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants