On Thu, 12 Jun 2025 23:21:15 GMT, Stuart Marks <sma...@openjdk.org> wrote:
>>> I'd describe this as "space plus ASCII control characters." Would something >>> like that make more sense? >> >> Yeah, I think so > > OK, I've updated the wording. Let me know if this is OK and I'll update the > CSR accordingly. Made additional updates. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/25762#discussion_r2143825798
