On Wed, 17 May 2023 14:42:45 GMT, Roger Riggs <rri...@openjdk.org> wrote:
> if parent process dies prematurely @RogerRiggs , I've created a release note for the issue based on your suggestions. Please feel free to proof-read and enhance it :) ------------- PR Comment: https://git.openjdk.org/jdk/pull/13956#issuecomment-1551719840
