Integrated: 8319203: Parallel: Rename addr_is_marked_imprecise

Thu Nov 2 09:42:09 UTC 2023

On Wed, 1 Nov 2023 09:24:34 GMT, Albert Mingkun Yang <ayang at openjdk.org> wrote:

> Simple renaming.

This pull request has now been integrated.

Changeset: 7f31a059
Author:    Albert Mingkun Yang <ayang at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/7f31a0591c94983cae96b8b5f381cb6a7c0f8fcd
Stats:     4 lines in 2 files changed: 0 ins; 0 del; 4 mod

8319203: Parallel: Rename addr_is_marked_imprecise

Reviewed-by: iwalulya, tschatzl

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

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