4 Dec
2017
4 Dec
'17
6:01 a.m.
On 12/03/2017 11:39 PM, David C. Rankin wrote:
Seems like it is already fixed under the title "Remove useless conflict"
Pierre, This will still need a minor version bump to be picked up by the mirrors. Unless I'm reading the changelog wrong, the version was never updated from 7.2-1 to 7.2-2 with this change, so the removal of the conflict isn't being propagated to the mirrors. -- David C. Rankin, J.D.,P.E.