Completed
Pull Request — master (#284)
by
unknown
14:42
created

Changes

1 issue (minor) was introduced.
2 issues were fixed.
6.71
▲   + 0.03
Head
Jaroslav Hranička  
Merge ee85b1c9e3d4eb1d808de75601da8995b63b1c61 into 7db1c8036d8675a46342f37951e4419bdfbc333e
2 more commits
Base
Filip Procházka  
allow coverage to fail