Skip to content

followup on #10435 : should be diff, not show#13162

Merged
Araq merged 1 commit intonim-lang:develfrom
timotheecour:pr_fixup_contributing_diff
Jan 17, 2020
Merged

followup on #10435 : should be diff, not show#13162
Araq merged 1 commit intonim-lang:develfrom
timotheecour:pr_fixup_contributing_diff

Commits

Commits on Jan 15, 2020