RFR: 8310275: Bug in assignment operator of ReservedMemoryRegion [v5]

Tue Aug 15 12:14:13 UTC 2023

On Wed, 9 Aug 2023 15:41:06 GMT, Ralf Schmelter <rschmelter at openjdk.org> wrote:

>> 8310275: Bug in assignment operator of ReservedMemoryRegion
>
> Ralf Schmelter has updated the pull request incrementally with one additional commit since the last revision:
> 
>   We have to record the reserved memory by hand.

Thanks for the reviews. If there aren't any objections I would integrate the patch tomorrow.

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

PR Comment: https://git.openjdk.org/jdk/pull/14440#issuecomment-1678829934