Skip to content
This repository was archived by the owner on Feb 25, 2025. It is now read-only.

Conversation

@zanderso
Copy link
Member

@flutter-dashboard flutter-dashboard bot added the embedder Related to the embedder API label May 30, 2023
@zanderso zanderso added autosubmit Merge PR when tree becomes green via auto submit App and removed autosubmit Merge PR when tree becomes green via auto submit App labels May 30, 2023
@zanderso zanderso requested review from bdero and chinmaygarde May 30, 2023 23:10
@zanderso zanderso merged commit 5374988 into flutter:main May 30, 2023
@zanderso zanderso deleted the check-optional branch May 30, 2023 23:53
auto-submit bot pushed a commit to flutter/flutter that referenced this pull request May 31, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

embedder Related to the embedder API

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants