| commit | 20eba7593cff2e56220a20120f36c3203ccd0105 | |
| author | Jez Ng <jezng@fb.com> | |
| Tue, 29 Sep 2015 19:10:29 +0000 (29 12:10 -0700) | ||
| committer | hhvm-bot <hhvm-bot@fb.com> | |
| Tue, 29 Sep 2015 19:30:33 +0000 (29 12:30 -0700) | ||
| tree | 90191308f40129e7e16d13c4f3fbf94cf0b0aaf8 | treesnapshot (tar.gz zip) |
| parent | a29ffa8b35f67db3ca671381317b3752c53785c8 | commitdiff |
Simplify bucket size interface
Summary: Just trying to split minor changes out of my watchman diff
Reviewed By: @bpr, @hermanventer
Differential Revision: D2488974
Summary: Just trying to split minor changes out of my watchman diff
Reviewed By: @bpr, @hermanventer
Differential Revision: D2488974
| hphp/hack/src/procs/bucket.ml | diffblobblamehistory | |
| hphp/hack/src/server/serverTypeCheck.ml | diffblobblamehistory |