On Tue, 27 Feb 2024 07:29:46 GMT, Daniel Jeliński <djelin...@openjdk.org> wrote:
>> Please help review this trivial change. This was branched from >> https://github.com/openjdk/jdk/pull/18013, based on discussion with >> @plummercj in https://github.com/openjdk/jdk/pull/18013 comments. Thanks > > LGTM @djelinski @RogerRiggs Thanks for the reviews. ------------- PR Comment: https://git.openjdk.org/jdk/pull/18019#issuecomment-1966903722
