Integrated: 8310275: Bug in assignment operator of ReservedMemoryRegion

Wed Aug 16 15:04:20 UTC 2023

On Tue, 13 Jun 2023 07:33:12 GMT, Ralf Schmelter <rschmelter at openjdk.org> wrote:

> 8310275: Bug in assignment operator of ReservedMemoryRegion

This pull request has now been integrated.

Changeset: 24e896d7
Author:    Ralf Schmelter <rschmelter at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/24e896d7c905de5030f1b62cf922c15bb7bef311
Stats:     55 lines in 2 files changed: 55 ins; 0 del; 0 mod

8310275: Bug in assignment operator of ReservedMemoryRegion

Reviewed-by: jsjolen, dholmes, stuefe

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

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