Skip to content

Ensure that line comments always get newlines after them.#1325

Merged
munificent merged 2 commits intomainfrom line-comment-newlineNov 21, 2023

Commits