diff --git a/CHANGES.md b/CHANGES.md index 2b77ac222cb..6923fcdb137 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,8 +1,8 @@ -Unreleased ----------- +3.9.1 (unreleased) +------------------ -- Disable background operations on MacOS and other Unixes where we rely on - fork. (#8100, fixes #8083, @rgrinberg) +- Disable background operations and threaded console on MacOS and other Unixes + where we rely on fork. (#8100, #8121, fixes #8083, @rgrinberg, @emillon) 3.9.0 (2023-06-28) ------------------ diff --git a/src/dune_config/config.ml b/src/dune_config/config.ml index 1b43d3b3a76..eac22094920 100644 --- a/src/dune_config/config.ml +++ b/src/dune_config/config.ml @@ -146,7 +146,7 @@ let threaded_console = let t = { name = "threaded_console" ; of_string = Toggle.of_string - ; value = `Enabled + ; value = background_default } in register t;