Completed
Push — master ( b08530...a8c4c7 )
by Karel
16s queued 12s
created

No notable changes

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

8.92
▶   ± 0
Test Coverage
86%
▶ ±0%
Head
Karel  
Merge pull request #1517 from chdeliens/patch-1
1 more commit
Base
François-Xavier de Guillebon  
Add missing ids in exception message (#1515)