Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Summary: There was a fix in #13171 for issue #13166 but it was overwritten by commit d5345a8. This PR is to reapply the fix. Fixes #13264 to have Rocks compile under Ubuntu again Pull Request resolved: #13265 Reviewed By: archang19 Differential Revision: D67764706 Pulled By: cbi42 fbshipit-source-id: c8822fff6769bf3be1e6ceee3f2b58b09d8569b3
- Loading branch information