Integrated: JDK-8305407: ExternalSpecsWriter should ignore white-space differences in spec titles

Fri Apr 7 14:18:56 UTC 2023

On Mon, 3 Apr 2023 23:18:43 GMT, Jonathan Gibbons <jjg at openjdk.org> 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 <jjg at openjdk.org>
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