hg: jdk/submit: 8250912: Recording#copy() doesn't copy the flush interval

[chiroito107 at gmail.com]

Changeset: 2924b2809346
Author:    cito
Date:      2020-08-02 19:51 +0900
URL:       https://hg.openjdk.java.net/jdk/submit/rev/2924b2809346

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

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