On Wed, 30 Aug 2023 19:36:45 GMT, Daniel D. Daugherty <dcubed at openjdk.org> wrote: > A trivial fix to make LockingMode a product flag. Ok, alright, thanks for the clarifications! ------------- PR Comment: https://git.openjdk.org/jdk/pull/15496#issuecomment-1700536119