Skip to content

Conversation

Turbo87
Copy link
Member

@Turbo87 Turbo87 commented Jun 11, 2021

Reverts #3681

Closes #3687

r? @pietroalbini

@pietroalbini
Copy link
Member

@bors r+

@bors
Copy link
Contributor

bors commented Jun 11, 2021

📌 Commit dd46526 has been approved by pietroalbini

@bors
Copy link
Contributor

bors commented Jun 11, 2021

⌛ Testing commit dd46526 with merge 32e705e...

@bors
Copy link
Contributor

bors commented Jun 11, 2021

☀️ Test successful - checks-actions
Approved by: pietroalbini
Pushing 32e705e to master...

@bors bors merged commit 32e705e into master Jun 11, 2021
@Turbo87 Turbo87 deleted the revert-3681-big-head branch June 20, 2021 15:33
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.

Login error covers login link
4 participants