mirror of
https://github.com/php/php-src.git
synced 2026-03-24 08:12:21 +01:00
This is to allow more time to switch for active to idle in scoreboard as it seems that Travis is quite short on resources and might not switch it quickly enough.