On Thu, 4 Apr 2024 12:19:03 GMT, Stefan Karlsson <stef...@openjdk.org> wrote:
>> I'm not even sure what they want to say, really. Should be good to remove, >> and if anybody can make sense of it, record an issue in the bug-tracker? > > OK. I removed the %%%. I'll wait a little bit to see if someone else wants to > keep them for some reason, if not, I'll remove them. I think leaving these comments without the %%% seems fine. Describing this idea in a CR is a lot more difficult than seeing it in context as commentary, and unless the enhancement has other motivation, it won't be picked up. Leaving the comment as a clue seems useful. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/18618#discussion_r1551686232
