Skip to content

Replace {{ title }} with {{page-title}} #2570

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jun 12, 2020
Merged

Conversation

Turbo87
Copy link
Member

@Turbo87 Turbo87 commented Jun 12, 2020

turns out searching for {{title doesn't catch the usages that have a space between the curlies and the helper name 😅

r? @locks

@Turbo87 Turbo87 added A-frontend 🐹 C-internal 🔧 Category: Nonessential work that would make the codebase more consistent or clear labels Jun 12, 2020
@locks
Copy link
Contributor

locks commented Jun 12, 2020

We need a new language server with refactoring capabilities ;P

@locks
Copy link
Contributor

locks commented Jun 12, 2020

@bors r+

@bors
Copy link
Contributor

bors commented Jun 12, 2020

📌 Commit a8bdf19 has been approved by locks

@bors
Copy link
Contributor

bors commented Jun 12, 2020

⌛ Testing commit a8bdf19 with merge 57b7e4a...

@bors
Copy link
Contributor

bors commented Jun 12, 2020

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

@bors bors merged commit 57b7e4a into rust-lang:master Jun 12, 2020
@Turbo87 Turbo87 deleted the title branch June 15, 2020 18:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-frontend 🐹 C-internal 🔧 Category: Nonessential work that would make the codebase more consistent or clear
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants