On Wed, 17 May 2023 15:05:53 GMT, Raffaello Giulietti <rgiulie...@openjdk.org> wrote:
>> When appropriate and useful, copies only the relevant portion of the >> `CharSequence` to the match result. > > Raffaello Giulietti has updated the pull request incrementally with one > additional commit since the last revision: > > Simplified text capturing. @stuart-marks Is there anything you'd like to add before integration? ------------- PR Comment: https://git.openjdk.org/jdk/pull/13231#issuecomment-1551595036
