On 12/03/2017 11:39 PM, David C. Rankin wrote: > Seems like it is already fixed under the title "Remove useless conflict" > > https://git.archlinux.org/svntogit/packages.git/commit/trunk?h=packages/php&id=e1c14f1569f7da2fd0acf4738771be1eb1096f1d 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.
