no comment --- topological order appears to be fine since 04-Mar-2013;

--- a/src/Pure/Thy/thy_info.ML	Fri Jun 04 21:36:42 2021 +0200
+++ b/src/Pure/Thy/thy_info.ML	Fri Jun 04 21:46:14 2021 +0200
@@ -254,7 +254,6 @@
           {name = "present", sequential = sequential_presentation (Options.default ())}
           (fn result => Exn.capture (result_present result) ());
 
-    (* FIXME more precise commit order (!?) *)
     val results3 = futures
       |> map (fn future => Exn.capture (fn () => result_commit (Future.join future) ()) ());