On Wed, 21 Dec 2022 16:40:05 GMT, Alexey Ivanov <aiva...@openjdk.org> wrote:

> Less indentation and the same behaviour.

Agreed. Fixed.

-------------

PR: https://git.openjdk.org/jdk20/pull/68

Reply via email to