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. This pull request has now been integrated. Changeset: a8871f5d Author: Jonathan Gibbons <[email protected]> URL: https://git.openjdk.org/jdk/commit/a8871f5d26e5cb42c031c7b736ec30b1b147a2bc Stats: 52 lines in 3 files changed: 47 ins; 1 del; 4 mod 8305407: ExternalSpecsWriter should ignore white-space differences in spec titles Reviewed-by: hannesw ------------- PR: https://git.openjdk.org/jdk/pull/13315
