On Tue, 28 Nov 2023 16:43:47 GMT, Michael McMahon <micha...@openjdk.org> wrote:
> That is the behavior for the main supported platforms. We had a concern that > it might not be the case on other platforms. Hence, the word "may". yes, appreciate that sentiment, but "may" is a bit flippy floppy - a definitely maybe. A stronger emphasis that this OS dependent, such as the inclusion of an perhaps an apiNote to that effect, would be useful and informative ------------- PR Comment: https://git.openjdk.org/jdk/pull/16635#issuecomment-1830335647
