On Fri, 15 Dec 2023 08:23:58 GMT, Markus KARG <d...@openjdk.org> wrote:
> Fixes JDK-8322141 > > As suggested by @vlsi and documented by @bplb this PR does not return, but > only sets the maximum result value. Marked as reviewed by alanb (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/17119#pullrequestreview-1783361621