Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Summary: This is a better renaming of what was proposed in D52582811. Reviewed By: YanNoun Differential Revision: D52596501 fbshipit-source-id: 17a4b2e3b17a2040908d16c007cea3556c7302bf
- Loading branch information