Changelog for php-phpunit-php-timer2-2.1.3-1.fc31.remi.noarch.rpm :

* Mon Nov 30 2020 Remi Collet - 2.1.3-1- update to 2.1.3 (no change)- switch to phpunit8
* Fri Jun 07 2019 Remi Collet - 2.1.2-1- update to 2.1.2- drop patch merged upstream
* Wed Feb 20 2019 Remi Collet - 2.1.1-2- add patch from https://github.com/sebastianbergmann/php-timer/pull/21 fix for 32-bit where large value are converted to float
* Wed Feb 20 2019 Remi Collet - 2.1.1-1- update to 2.1.1