On Thu, 10 Sep 2026 19:12:55 GMT, Stefan Karlsson <[email protected]> wrote:
>> OK. > > You wrote it as `/* indent */1` instead of `/* indent */ 1`. Fixed in latest version. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/32565#discussion_r3994803428
