commit | db4d59cc0c96a6658f8eba3d3bc76f74475ce302 | [log] [tgz] |
---|---|---|
author | Chihiro Ito <cito@openjdk.org> | Thu Aug 06 23:47:55 2020 +0900 |
committer | Chihiro Ito <cito@openjdk.org> | Thu Aug 06 23:47:55 2020 +0900 |
tree | b01f29c5dbddbdd2bf7731287acba852cfcf2227 | |
parent | b0e4e9a2e455d3bad45c2d3362fe83ba004b3f96 [diff] |
8250912: Recording#copy() doesn't copy the flush interval Reviewed-by: jbachorik