Skip to content

fix "formatting on save" potentially running on outdated document state#2336

Merged
rwols merged 1 commit intomainfrom fix/formattingOct 12, 2023