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