From 019a4f5c64f8bb70b8c218d099b9e739f6c44244 Mon Sep 17 00:00:00 2001
From: Romain Beauxis <toots@rastageeks.org>
Date: Wed, 8 Jun 2022 20:26:21 +0200
Subject: [PATCH] Update process_handler.ml

---
 src/tools/process_handler.ml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/tools/process_handler.ml b/src/tools/process_handler.ml
index 3547c247a6..6f9f21dc33 100644
--- a/src/tools/process_handler.ml
+++ b/src/tools/process_handler.ml
@@ -27,8 +27,6 @@ let open_process cmd env =
   { stdin; stdout; stderr }
 
 let close_process { stdout; stdin; stderr } =
-  (* See: https://github.com/ocaml/ocaml/issues/11289 *)
-  Gc.full_major ();
   try Unix.close_process_full (stdout, stdin, stderr)
   with Unix.Unix_error (Unix.ECHILD, _, _) -> Unix.WEXITED 0