Skip to content
This repository has been archived by the owner on Nov 22, 2022. It is now read-only.

Fix CircleCI #1194

Closed
wants to merge 1 commit into from
Closed

Fix CircleCI #1194

wants to merge 1 commit into from

Conversation

jeanm
Copy link
Contributor

@jeanm jeanm commented Dec 13, 2019

Summary: Fixes CircleCI failure on master.

Reviewed By: ArmenAg

Differential Revision: D19035987

Summary: Fixes CircleCI failure on master.

Reviewed By: ArmenAg

Differential Revision: D19035987

fbshipit-source-id: 2e08816a0e33e2b08d32009c2cf027e36d74bda9
@facebook-github-bot facebook-github-bot added the CLA Signed Do not delete this pull request or issue due to inactivity. label Dec 13, 2019
@facebook-github-bot
Copy link
Contributor

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

@facebook-github-bot
Copy link
Contributor

This pull request has been merged in 351a060.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
CLA Signed Do not delete this pull request or issue due to inactivity. Merged
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants