[jdk17u-dev] Integrated: 8295419: JFR: Change name of jdk.JitRestart

Thu Nov 17 08:55:42 UTC 2022

On Wed, 16 Nov 2022 15:42:17 GMT, Matthias Baesken <mbaesken at openjdk.org> wrote:

> Another cpp file had to be modified in jdk17u-dev compared to jdk/jdk.

This pull request has now been integrated.

Changeset: d4d4dbcd
Author:    Matthias Baesken <mbaesken at openjdk.org>
URL:       https://git.openjdk.org/jdk17u-dev/commit/d4d4dbcd36bd2d8bd480f85edf11e1990149ceab
Stats:     7 lines in 6 files changed: 0 ins; 0 del; 7 mod

8295419: JFR: Change name of jdk.JitRestart

Reviewed-by: lucy, mdoerr
Backport-of: ecfb6bce5a9878d7bedce47da60f96fa9146acf7

-------------

PR: https://git.openjdk.org/jdk17u-dev/pull/888