On Wed, 17 Feb 2021 13:36:17 GMT, Alan Bateman <al...@openjdk.org> wrote:
>> Looks like I cannot integrate it, even after changing the title!? >> Is this a bug? > > Here's the jcheck failure: > https://github.com/openjdk/jdk/pull/2586/checks?check_run_id=1918880270 As pointed out by Alan: It seems like a space is missing after the colon in the PR title ------------- PR: https://git.openjdk.java.net/jdk/pull/2586