From 5bab136a7c872a0c77163e6e39b422af73e9285e Mon Sep 17 00:00:00 2001
From: Hendrik Ranocha <ranocha@users.noreply.github.com>
Date: Sun, 7 May 2023 14:06:31 +0200
Subject: [PATCH] Update src/MPI.jl

Co-authored-by: Michael Schlottke-Lakemper <michael@sloede.com>
---
 src/MPI.jl | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/MPI.jl b/src/MPI.jl
index 8eda1c7d5..ceaa3b3c9 100644
--- a/src/MPI.jl
+++ b/src/MPI.jl
@@ -158,6 +158,8 @@ end
 using PrecompileTools: @compile_workload
 @static if VERSION >= v"1.8"
     @compile_workload begin
+        # Running the load time hooks here shaves off a significant amount of loading time,
+        # see also https://github.com/JuliaParallel/MPI.jl/pull/728
         foreach(hook -> hook(), _mpi_load_time_hooks)
     end
 end