Skip to content
New issue

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

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

Already on GitHub? # to your account

Please merge revision 4e5938f373cc47cb6266c7b76af1c913fbcd47bc into dev channel #24696

Closed
scheglov opened this issue Oct 22, 2015 · 2 comments
Closed
Labels
area-analyzer Use area-analyzer for Dart analyzer issues, including the analysis server and code completion. merge-to-dev
Milestone

Comments

@scheglov
Copy link
Contributor

@whesse @mit-mit @kasperl
<Fill in the labels for Milestone and Area to indicate what the merge applies to. E.g. if you're requesting a merge to fix an issue in Dart2JS, set the area to Area-Dart2JS. If this is a request to merge to stable please change the MergeToDev label to MergeToStable>

<Describe the problem this merge is fixing - include issue numbers if applicable>
This fixes #24630

<What revision(s) needs to be merged - please annotate revisions with reason if more than one>
4e5938f

EXAMPLE: This merged cleanly
@scheglov scheglov added merge-to-dev area-analyzer Use area-analyzer for Dart analyzer issues, including the analysis server and code completion. labels Oct 22, 2015
@danrubel
Copy link

And this one as well...
f45c8bc

@kevmoo kevmoo modified the milestone: 1.13 Oct 22, 2015
@whesse
Copy link
Contributor

whesse commented Oct 23, 2015

Merged in version 1.13.0-dev.7.3
The real -dev.7.3, not -dev.7.2.

@whesse whesse closed this as completed Oct 23, 2015
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
area-analyzer Use area-analyzer for Dart analyzer issues, including the analysis server and code completion. merge-to-dev
Projects
None yet
Development

No branches or pull requests

4 participants