git: openjdk/mobile: 2 new changesets

duke duke at
Fri Jul 17 10:58:33 UTC 2020

Changeset: e13cb76b
Author:    Hannes Wallnöfer <hannesw at>
Date:      2020-07-17 12:54:12 +0000

8249133: Javadoc: Browser back navigation does not jump to previous position anymore

Reviewed-by: jjg

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

Changeset: c5442ba6
Author:    duke <duke at>
Date:      2020-07-17 10:58:00 +0000

Automatic merge of jdk:master into master

More information about the mobile-changes mailing list