Skip to content

Conversation

matklad
Copy link
Contributor

@matklad matklad commented Jan 28, 2021

No description provided.

@matklad
Copy link
Contributor Author

matklad commented Jan 28, 2021

@edwin0cheng feel free to eithe copy-paste this for #7412 or to r+ and rebase.

Progress notifications are edge triggered, while status is level
triggered. This makes it a hared to misuse signal for the readiness of
the server.
@edwin0cheng
Copy link
Contributor

bors r+

@bors
Copy link
Contributor

bors bot commented Jan 28, 2021

@bors bors bot merged commit f421ee6 into rust-lang:master Jan 28, 2021
@matklad matklad deleted the status branch February 12, 2021 12:07
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.

2 participants