fixup history note in compile-output-ports

The version drifted to 7.7.0.10 before I managed to merge the PR.
This commit is contained in:
Matthew Flatt 2020-07-02 14:15:22 -06:00
parent 8464896255
commit d50d74e458

View File

@ -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?]