git: openjdk/mobile: 2 new changesets

[duke]

Changeset: e13cb76b
Author:    Hannes Wallnöfer <hannesw at openjdk.org>
Date:      2020-07-17 12:54:12 +0000
URL:       https://git.openjdk.java.net/mobile/commit/e13cb76b

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 openjdk.org>
Date:      2020-07-17 10:58:00 +0000
URL:       https://git.openjdk.java.net/mobile/commit/c5442ba6

Automatic merge of jdk:master into master