From 1d23d883ad51574bae40eb2f3b87308e1f093b24 Mon Sep 17 00:00:00 2001 From: John Ericson Date: Wed, 14 May 2025 17:20:37 -0400 Subject: [PATCH] Revert "doc/rl-next: Add repl-and-logging" It is already released on 2.28.0 This reverts commit db76487f41ba74a09edbad3560cbdb850f427be7. --- doc/manual/rl-next/repl-and-logging.md | 9 --------- 1 file changed, 9 deletions(-) delete mode 100644 doc/manual/rl-next/repl-and-logging.md diff --git a/doc/manual/rl-next/repl-and-logging.md b/doc/manual/rl-next/repl-and-logging.md deleted file mode 100644 index a943e59e3..000000000 --- a/doc/manual/rl-next/repl-and-logging.md +++ /dev/null @@ -1,9 +0,0 @@ ---- -synopsis: "Fix chopped up repl output" -issues: [12599] -prs: [12604] ---- - -The REPL and logger now contend for standard output in a much more systematic manner. -In particular, the synchronisation mechanism is more error-tolerant, by virtue of now using [RAII](https://en.wikipedia.org/wiki/Resource_acquisition_is_initialization). -REPL output should no longer interrupt or be interrupted by the logger mid-message,