On Tue, 7 Mar 2023 14:44:32 GMT, Raffaello Giulietti <rgiulie...@openjdk.org> wrote:
> As a followup of [JDK-8302590](https://bugs.openjdk.org/browse/JDK-8302590), > this issue covers the analogous case for a search of a string rather than a > character. This pull request has now been integrated. Changeset: 4bf1fbb0 Author: Raffaello Giulietti <rgiulie...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/4bf1fbb06d63b4c52bfd3922beb2adf069e25b09 Stats: 252 lines in 2 files changed: 237 ins; 5 del; 10 mod 8303648: Add String.indexOf(String str, int beginIndex, int endIndex) Reviewed-by: rriggs ------------- PR: https://git.openjdk.org/jdk/pull/12903