Skip to content

changelog conflicts are a thing of the past .. [EDIT: in local git checkouts, not in github]#14098

Merged
Araq merged 1 commit intonim-lang:develfrom timotheecour:pr_avoid_changelog_conflictsApr 24, 2020

Commits

Commits on Apr 24, 2020