Completed
Push — 2.2 ( d808c6...0faba6 )
by
unknown
15s queued 10s
created

No notable changes

There were no notable changes in the changeset which was inspected.

7.72
▶   ± 0
Head
Baptiste Meyer  
Merge pull request #1809 from meyerbaptiste/fix_coverage
1 more commit
Base
Baptiste Clavié  
If docs are disabled, do not try to add a link header to the docs (#1731)