Skip to content

Conversation

@christopherfujino
Copy link
Contributor

@flutter-dashboard flutter-dashboard bot added framework flutter/packages/flutter repository. See also f: labels. c: contributor-productivity Team-specific productivity, code health, technical debt. tool Affects the "flutter" command-line tool. See also t: labels. labels Mar 20, 2023
@christopherfujino christopherfujino added the autosubmit Merge PR when tree becomes green via auto submit App label Mar 20, 2023
@auto-submit auto-submit bot merged commit f4c3fac into master Mar 20, 2023
@auto-submit auto-submit bot deleted the revert-122909-revert-120936-remove-sound-null-safety-flag branch March 20, 2023 22:32
engine-flutter-autoroll added a commit to engine-flutter-autoroll/packages that referenced this pull request Mar 21, 2023
christopherfujino added a commit to chris-forks/flutter that referenced this pull request Mar 22, 2023
auto-submit bot pushed a commit that referenced this pull request Mar 22, 2023
…3280)

Revert "[flutter_tools] Remove sound null safety flag (#123031)"
engine-flutter-autoroll added a commit to engine-flutter-autoroll/packages that referenced this pull request May 10, 2023
engine-flutter-autoroll added a commit to engine-flutter-autoroll/packages that referenced this pull request May 10, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

autosubmit Merge PR when tree becomes green via auto submit App c: contributor-productivity Team-specific productivity, code health, technical debt. framework flutter/packages/flutter repository. See also f: labels. tool Affects the "flutter" command-line tool. See also t: labels.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants