Skip to content

Workaround for async SDK issue #787

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 2 commits into from
Mar 20, 2018
Merged

Workaround for async SDK issue #787

merged 2 commits into from
Mar 20, 2018

Conversation

grouma
Copy link
Member

@grouma grouma commented Mar 19, 2018

@grouma grouma requested a review from natebosch March 19, 2018 18:27
CHANGELOG.md Outdated
@@ -1,3 +1,7 @@
## 0.12.32+2

* Provide a work around for dart-lang/sdk/issues/32556.
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This doesn't really communicate to downstream users what changed. Those users don't care what the SDK bug was, they care what user-visible thing was going wrong that is now fixed. Consider writing something like "Work around an SDK bug that caused timeouts in asynchronous code."

Also, for future reference, it's probably a good idea to use a link that users can follow rather than something like dart-lang/sdk/issues/32556.

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Done.

@grouma
Copy link
Member Author

grouma commented Mar 19, 2018

Added back the "unnecessary cast". This will have to be removed when dev becomes stable. I will also need to merge with a failing Travis due to #788.

@grouma grouma merged commit 362f98d into master Mar 20, 2018
@grouma grouma deleted the sdk-workaround branch March 20, 2018 01:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants