Skip to content

Request a minor GC if marking has failed to start since the last slice.#3333

Merged
mshinwell merged 1 commit intoocaml-flambda:mainfrom NickBarnes:nick-markdelay-minor-request-fixDec 3, 2024
+9-3

Commits

Commits on Dec 2, 2024