Passed
Pull Request — master (#1)
by Jiří
05:11
created

No notable changes

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

10
▶   ± 0
Head
Antonio del Olmo  
Merge pull request #1 from jiripudil/patch-1
1 more commit
Base
Antonio del Olmo  
Fix documentation