git: openjdk/mobile: 2 new changesets

[duke]

Changeset: db4d59cc
Author:    Chihiro Ito <cito at openjdk.org>
Date:      2020-08-06 23:47:55 +0000
URL:       https://git.openjdk.java.net/mobile/commit/db4d59cc

8250912: Recording#copy() doesn't copy the flush interval

Reviewed-by: jbachorik

! src/jdk.jfr/share/classes/jdk/jfr/internal/PlatformRecorder.java

Changeset: 33c081c0
Author:    duke <duke at openjdk.org>
Date:      2020-08-06 14:51:16 +0000
URL:       https://git.openjdk.java.net/mobile/commit/33c081c0

Automatic merge of jdk:master into master