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