On Mon, 8 May 2023 14:04:27 GMT, Raffaello Giulietti <rgiulie...@openjdk.org> 
wrote:

>> Add `split()` overloads to `String` and `java.util.regex.Pattern` that, in 
>> addition to the substrings returned by current `split()` variants, also 
>> return the delimiters matching the regular expression.
>
> Raffaello Giulietti has updated the pull request incrementally with one 
> additional commit since the last revision:
> 
>   Replaced HTML named entity &centerdot; with &times; in Javadoc.

Thank you for the update Raffaello. This looks good to me.

-------------

Marked as reviewed by jpai (Reviewer).

PR Review: https://git.openjdk.org/jdk/pull/13305#pullrequestreview-1416889917

Reply via email to