View GitHub Repository jose

Schedule Inspection
Subscribe
Failed Conditions
Pull Request — master (#331)
by Simon
02:43
created

Changes

1 failure condition met
patches.label("Doc Comments").exists View Patches
9.41
▶   ± 0
Head
simon chrzanowski  
Merge 5082bddedf9405d67e6921a99f3c5f62b2c7b364 into d2ba9ba5a5cc66ca22edc07c2e9190ec6c7664e2
⋮ 2 more commits
Base
Alexander Menk  
#325 Require ext gmp, suggest ext curl (#328)