[jdk21] Withdrawn: 8298095: Refine implSpec for SegmentAllocator

[Maurizio Cimadamore]

On Thu, 10 Aug 2023 16:54:35 GMT, Maurizio Cimadamore <mcimadam...@openjdk.org> 
wrote:

> 8298095: Refine implSpec for SegmentAllocator

This pull request has been closed without being integrated.

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

PR: https://git.openjdk.org/jdk21/pull/172