On Fri, 10 Feb 2023 16:19:59 GMT, Alexey Ivanov <aiva...@openjdk.org> wrote:
> > I have tried alignment to the extent possible.. > > Not to the extent possible if it's different from the commonly used style. > > > I am not sure if it's required to be so finicky about it :-) > > It's probably not. In addition to that, in the cases I have provided suggestions to fix the indentation which can be applied with a single click. ------------- PR: https://git.openjdk.org/jdk/pull/11940
