On Tue, 18 Apr 2023 12:08:50 GMT, Andrey Turbanov <aturba...@openjdk.org> wrote:
> Interesting, why this JBS ticked is considered as a bug? There's no obvious best choice here (bug, enhancement, task) and as is, it was the same as for similar previous items. ------------- PR Comment: https://git.openjdk.org/jdk/pull/13496#issuecomment-1513340471