rpms/php-phpunit-php-timer2
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
7 commits 18 branches 0 tags 50 KiB
Commit graph

1 commit

Author SHA1 Message Date
Remi Collet
f06d7aa82e add patch from https://github.com/sebastianbergmann/php-timer/pull/21 
fix for 32-bit where large value are converted to float

(cherry picked from commit 0d0909e4e6)
 2019-02-20 15:46:35 +01:00