Skip to content

Read an Empty prose_lint --diff as a Failed Base, Not as No Diff - #1566

Merged
ptr727 merged 1 commit into
developfrom
fix/1537-empty-diff-scope
Sep 12, 2026
Merged

Read an Empty prose_lint --diff as a Failed Base, Not as No Diff#1566
ptr727 merged 1 commit into
developfrom
fix/1537-empty-diff-scope

Commits

Commits on Sep 12, 2026