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

1 commit

Author SHA1 Message Date
Remi Collet
0d0909e4e6 add patch from https://github.com/sebastianbergmann/php-timer/pull/21 
fix for 32-bit where large value are converted to float
 2019-02-20 15:42:25 +01:00