Changelog for php71-php-pecl-xmldiff-debuginfo-1.1.2-13.fc30.remi.x86_64.rpm :

* Thu Aug 16 2018 Remi Collet - 1.1.2-13- rebuild for 7.3.0beta2 new ABI
* Wed Jul 18 2018 Remi Collet - 1.1.2-12- rebuild for 7.3.0alpha4 new ABI
* Tue Jul 18 2017 Remi Collet - 1.1.2-11- rebuild for PHP 7.2.0beta1 new API
* Fri Jun 23 2017 Remi Collet - 1.1.2-10- use devtoolset when needed (php 7.1+ on EL-7)