Integrated: 8300267: Remove duplicated setter/getter for do_not_unlock

Wed Jan 18 10:26:29 UTC 2023

On Tue, 17 Jan 2023 15:18:25 GMT, Robbin Ehn <rehn at openjdk.org> wrote:

> Hi please consider.
> 
> Testing t1 + zero build

This pull request has now been integrated.

Changeset: d9180423
Author:    Robbin Ehn <rehn at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/d9180423b8c7dbe30b60ec844f389a80a1f0b551
Stats:     10 lines in 2 files changed: 0 ins; 4 del; 6 mod

8300267: Remove duplicated setter/getter for do_not_unlock

Reviewed-by: coleenp, dholmes

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

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