git: openjdk/mobile: 2 new changesets

duke duke at
Thu Jul 30 14:59:40 UTC 2020

Changeset: 39892bf4
Author:    Hannes Wallnöfer <hannesw at>
Date:      2020-07-30 16:53:56 +0000

8250779: Anchor is ignored when reloading a page in Chrome

Reviewed-by: prappo

! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/script.js

Changeset: d119b30c
Author:    duke <duke at>
Date:      2020-07-30 14:59:03 +0000

Automatic merge of jdk:master into master

More information about the mobile-changes mailing list