On Fri, 15 Dec 2023 09:25:00 GMT, Sergey Tsypanov <stsypa...@openjdk.org> wrote:
> I think this would be doing double job, wouldn't it? Sorry, I don't understand. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/16879#discussion_r1428236374
