From 82c78a9ab911f3ae63fa3e393b1afdc8f32b20c8 Mon Sep 17 00:00:00 2001 From: Facebook Community Bot <6422482+facebook-github-bot@users.noreply.github.com> Date: Fri, 13 Dec 2024 15:40:49 -0800 Subject: [PATCH] Re-sync with internal repository The internal and external repositories are out of sync. This Pull Request attempts to brings them back in sync by patching the GitHub repository. Please carefully review this patch. You must disable ShipIt for your project in order to merge this pull request. DO NOT IMPORT this pull request. Instead, merge it directly on GitHub using the MERGE BUTTON. Re-enable ShipIt after merging. --- folly | 1 - 1 file changed, 1 deletion(-) delete mode 160000 folly diff --git a/folly b/folly deleted file mode 160000 index 62baa6ba07..0000000000 --- a/folly +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 62baa6ba07ff0a23ee4f2ea2f5207e4c88464deb