From d50d74e458bb079dd9f439e580a7368aa3b6b26e Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 2 Jul 2020 14:15:22 -0600 Subject: [PATCH] fixup `history` note in `compile-output-ports` The version drifted to 7.7.0.10 before I managed to merge the PR. --- pkgs/racket-doc/scribblings/reference/port-lib.scrbl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/racket-doc/scribblings/reference/port-lib.scrbl b/pkgs/racket-doc/scribblings/reference/port-lib.scrbl index dd2e7053c8..fead2b1065 100644 --- a/pkgs/racket-doc/scribblings/reference/port-lib.scrbl +++ b/pkgs/racket-doc/scribblings/reference/port-lib.scrbl @@ -311,9 +311,9 @@ the purposes of synchronization) when each port reports being ready. However, the first port may stop being ready while waiting on the second port to sync, so it cannot be guaranteed that both ports are ready at once. Closing the combined port is done -after writing all remaining bytes to @racket[b-out].} +after writing all remaining bytes to @racket[b-out]. -@history[#:added "7.7.0.9"] +@history[#:added "7.7.0.10"]} @defproc[(merge-input [a-in input-port?] [b-in input-port?]