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

Fix typo for portalocker #1099

Closed
wants to merge 1 commit into from
Closed

Conversation

ejguan
Copy link
Contributor

@ejguan ejguan commented Mar 20, 2023

Per title

@facebook-github-bot facebook-github-bot added the CLA Signed This label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed. label Mar 20, 2023
@ejguan ejguan changed the title Fix type for portalocker Fix typo for portalocker Mar 20, 2023
@facebook-github-bot
Copy link
Contributor

@ejguan has imported this pull request. If you are a Meta employee, you can view this diff on Phabricator.

@ejguan ejguan requested a review from NivekT March 20, 2023 14:48
@facebook-github-bot
Copy link
Contributor

@ejguan merged this pull request in f3fdf14.

@NivekT NivekT added this to the 0.6.1 milestone Mar 20, 2023
NivekT pushed a commit that referenced this pull request Apr 19, 2023
Summary:
Per title

Pull Request resolved: #1099

Reviewed By: NivekT

Differential Revision: D44217648

Pulled By: ejguan

fbshipit-source-id: 7403f880484bc24cb1538fb21ad6cd18ab785826
ejguan added a commit that referenced this pull request Apr 20, 2023
Summary:
Per title

Pull Request resolved: #1099

Reviewed By: NivekT

Differential Revision: D44217648

Pulled By: ejguan

fbshipit-source-id: 7403f880484bc24cb1538fb21ad6cd18ab785826
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CLA Signed This label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed. Merged topic: bug fixes topic category
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants