Integrated: 8296923: JFR: jfr --version should return System.getProperty("java version")

[Erik Gahlin]

On Mon, 14 Nov 2022 08:28:44 GMT, Erik Gahlin <egahlin at openjdk.org> wrote:

> Could I have a review of a PR that changes the version of the jfr tool to that of the JDK.  
> 
> Testing: test/jdk/jdk/jfr/
> 
> Thanks
> Erik

This pull request has now been integrated.

Changeset: 873eccde
Author:    Erik Gahlin <egahlin at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/873eccde01895de06e2216f6838d52d07188addd
Stats:     2 lines in 1 file changed: 0 ins; 0 del; 2 mod

8296923: JFR: jfr --version should return System.getProperty("java version")

Reviewed-by: mgronlun

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

PR: https://git.openjdk.org/jdk/pull/11132