On Mon, 7 Apr 2025 07:08:51 GMT, David Linus Briemann <d...@openjdk.org> wrote:

> * The editorconfig as defined in this PR follows the hotspot style guide and 
> the indentation settings only apply to hotspot code.

Yes, you have a good point there. I included your `src/hotspot/.editorconfig` 
in my PR.

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

PR Comment: https://git.openjdk.org/jdk/pull/23693#issuecomment-2782796610

Reply via email to