Skip to content

Conversation

@nrc
Copy link
Member

@nrc nrc commented May 3, 2014

No description provided.

@flaper87
Copy link
Contributor

flaper87 commented May 3, 2014

👍

bors added a commit that referenced this pull request May 4, 2014
@bors bors closed this May 4, 2014
@bors bors merged commit 5854811 into rust-lang:master May 4, 2014
@nrc nrc deleted the rslt branch May 4, 2014 20:42
@emberian
Copy link
Contributor

wow that was ugly

arcnmx pushed a commit to arcnmx/rust that referenced this pull request Jan 9, 2023
Make it clearer when the server expects an initialized notification
bors pushed a commit to rust-lang-ci/rust that referenced this pull request Jan 28, 2025
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.

5 participants