On Thu, 12 Jun 2025 00:34:11 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 ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/25762#discussion_r2141368745
