> The change of 'conflicts' name is good but should be in NEWS; perhaps the > reformatting should be too.
Done.
« Back to merge proposal
> The change of 'conflicts' name is good but should be in NEWS; perhaps the
> reformatting should be too.
Done.