Integrated: 8308672: Add version number in the replay file generated by DumpInline

Thu May 25 18:35:08 UTC 2023

On Wed, 24 May 2023 18:27:26 GMT, Ashutosh Mehra <duke at openjdk.org> wrote:

> Please review this PR that adds version to the replay file generated by DumpInline.

This pull request has now been integrated.

Changeset: 7d2a7ce2
Author:    Ashutosh Mehra <asmehra at redhat.com>
Committer: Vladimir Kozlov <kvn at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/7d2a7ce2401bdacbfa084a502077ec98ecdcba33
Stats:     31 lines in 3 files changed: 10 ins; 5 del; 16 mod

8308672: Add version number in the replay file generated by DumpInline

Reviewed-by: kvn

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

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