Passed
Push — master ( 98aa25...33cee1 )
by Marco
15:25
created

No notable changes

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

6.93
▶   ± 0
Test Coverage
86%
▶ ±0%
Head
Marco Pivetta  
Merge pull request #6389 from mikeSimonson/xml-dtd-improvements
3 more commits
Base
Marco Pivetta  
Merge branch 'fix/#5798-undefined-schema-tool-index'