Integrated: 8294401: Update jfr man page to include recently added features

Thu Jul 13 07:30:19 UTC 2023

On Wed, 12 Jul 2023 12:50:40 GMT, Erik Gahlin <egahlin at openjdk.org> wrote:

> Could I have a review of changes to the jfr manage.
> 
> Thanks
> Erik

This pull request has now been integrated.

Changeset: f60c1f9b
Author:    Erik Gahlin <egahlin at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/f60c1f9bc4355f3abf428f9a0f7a65eace5598d0
Stats:     193 lines in 1 file changed: 169 ins; 8 del; 16 mod

8294401: Update jfr man page to include recently added features

Reviewed-by: mgronlun

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

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