Passed
Pull Request — master (#3133)
by Alexander
02:14
created

No notable changes

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

6.88
▶   ± 0
Test Coverage
4%
▶ ±0%
Head
Jan Černý  
Merge pull request #3133 from cipherboy/hausdorff-space
5 more commits
Base
Watson Yuuma Sato  
Merge pull request #3145 from matejak/guide-formatting