Skip to content

Conversation

JohnTitor
Copy link
Member

@jtgeibel
Copy link
Member

Great catch! This could definitely explain some of the unexpected caching behavior I was seeing a while back.

@bors r+

@bors
Copy link
Contributor

bors commented May 26, 2020

📌 Commit 3025e85 has been approved by jtgeibel

@bors
Copy link
Contributor

bors commented May 26, 2020

⌛ Testing commit 3025e85 with merge 44f5639...

@bors
Copy link
Contributor

bors commented May 26, 2020

☀️ Test successful - checks-travis
Approved by: jtgeibel
Pushing 44f5639 to master...

@bors bors merged commit 44f5639 into rust-lang:master May 26, 2020
@JohnTitor JohnTitor deleted the restore-keys branch May 27, 2020 07:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants