Completed
Push — master ( 871e86...da1e22 )
by personal
25s queued 20s
created

Changes

10 new patches (Spacing) are available.
???
Head
Jean-François Lépine  
Merge pull request #472 from phpmetrics/searches
1 more commit
Base
Nicolas Giraud  
Merge pull request #466 from phpmetrics/remove-php8.1-deprecations