On Fri, 27 Jun 2025 19:21:19 GMT, Roger Riggs <[email protected]> wrote:
> More directly, use limit instead of term in the computation of length. Good point. So changed in 3e5e498. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/25863#discussion_r2172749427
