Skip to content
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

Promote D22559365 #502

Open
wants to merge 1 commit into
base: stable
Choose a base branch
from

Conversation

agampe
Copy link
Contributor

@agampe agampe commented Jul 17, 2020

Summary: Promote {D22559365 (0796076de46e90d09f077dd497a57cec7b5eb8fd)} to staging and stable.

Differential Revision: D22591092

@facebook-github-bot
Copy link
Contributor

This pull request was exported from Phabricator. Differential Revision: D22591092

agampe added a commit to agampe/redex that referenced this pull request Jul 17, 2020
Summary:
Pull Request resolved: facebook#502

Promote {D22559365 (facebook@0796076)} to staging and stable.

Differential Revision: D22591092

fbshipit-source-id: 20f361b1a07e377d14ddef0dd624b917692f0fab
@agampe agampe force-pushed the export-D22591092-to-stable branch from 154f6c8 to a144814 Compare July 17, 2020 01:42
@facebook-github-bot
Copy link
Contributor

This pull request was exported from Phabricator. Differential Revision: D22591092

Summary:
Pull Request resolved: facebook#502

Promote {D22559365 (facebook@0796076)} to staging and stable.

Reviewed By: minjang

Differential Revision: D22591092

fbshipit-source-id: 9210275660add8e88129af509c1479d20e462a2c
@agampe agampe force-pushed the export-D22591092-to-stable branch from a144814 to c2a0528 Compare July 17, 2020 16:35
@facebook-github-bot
Copy link
Contributor

This pull request was exported from Phabricator. Differential Revision: D22591092

facebook-github-bot pushed a commit that referenced this pull request Jul 17, 2020
Summary:
Pull Request resolved: #502

Promote {D22559365 (0796076)} to staging and stable.

Reviewed By: minjang

Differential Revision: D22591092

fbshipit-source-id: 78af2d5617a4119073aa5b9ef9d621a18c65327a
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants