Skip to content

Comments

Fix doc comment: Windows line endings are \r\n not \n\r#717

Merged
hildebrandmw merged 5 commits intomainfrom
copilot/sub-pr-714-another-one
Feb 5, 2026
Merged

Fix doc comment: Windows line endings are \r\n not \n\r#717
hildebrandmw merged 5 commits intomainfrom
copilot/sub-pr-714-another-one

Commits

Commits on Feb 4, 2026