On Mon, 3 Apr 2023 23:18:43 GMT, Jonathan Gibbons <[email protected]> wrote:
> Please review a conceptually simple change to ignore whitespace differences > in the titles of specifications listed on the External Specifications page. > > The only tricky part was finding the right place to normalize the text. Looks good to me. ------------- Marked as reviewed by hannesw (Reviewer). PR Review: https://git.openjdk.org/jdk/pull/13315#pullrequestreview-1376214739
