Skip to content

Conversation

Turbo87
Copy link
Member

@Turbo87 Turbo87 commented Jun 10, 2020

@locks
Copy link
Contributor

locks commented Jun 10, 2020

Thanks for taking this on!
@bors r+

@bors
Copy link
Contributor

bors commented Jun 10, 2020

📌 Commit 37cdf57 has been approved by locks

@bors
Copy link
Contributor

bors commented Jun 10, 2020

⌛ Testing commit 37cdf57 with merge f621c5d...

bors added a commit that referenced this pull request Jun 10, 2020
modifiers/highlight-syntax: Disable aggressive whitespace stripping

see https://prismjs.com/plugins/normalize-whitespace/

Resolves #2498

r? @locks
@bors
Copy link
Contributor

bors commented Jun 10, 2020

☀️ Test successful - checks-travis
Approved by: locks
Pushing f621c5d to master...

@bors
Copy link
Contributor

bors commented Jun 10, 2020

👀 Test was successful, but fast-forwarding failed: 422 Update is not a fast forward

@Turbo87
Copy link
Member Author

Turbo87 commented Jun 10, 2020

@bors r=@locks

@bors
Copy link
Contributor

bors commented Jun 10, 2020

📌 Commit fb673d7 has been approved by locks

@bors
Copy link
Contributor

bors commented Jun 10, 2020

⌛ Testing commit fb673d7 with merge 87a070e...

@bors
Copy link
Contributor

bors commented Jun 10, 2020

☀️ Test successful - checks-travis
Approved by: locks
Pushing 87a070e to master...

@bors bors merged commit 87a070e into rust-lang:master Jun 10, 2020
@Turbo87 Turbo87 deleted the prism branch June 12, 2020 13:28
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.

Markdown code blocks strip leading whitespace
4 participants