git: openjdk/jdk: 8308672: Add version number in the replay file generated by DumpInline

Thu May 25 18:33:48 UTC 2023

Changeset: 7d2a7ce2
Author:    Ashutosh Mehra <asmehra at redhat.com>
Committer: Vladimir Kozlov <kvn at openjdk.org>
Date:      2023-05-25 18:31:56 +0000
URL:       https://git.openjdk.org/jdk/commit/7d2a7ce2401bdacbfa084a502077ec98ecdcba33

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

Reviewed-by: kvn

! src/hotspot/share/ci/ciEnv.cpp
! src/hotspot/share/ci/ciEnv.hpp
! src/hotspot/share/ci/ciReplay.cpp