Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Summary: Found by reading code, not observed as a problem in practice. So in practice, this is a behavior-preserving change. Reviewed By: thezhangwei Differential Revision: D55774434 fbshipit-source-id: 173adf6b8d5389f0fb85687bb3de9e3284034686
- Loading branch information