Completed
Push — master ( f5341d...bf3f93 )
by Lukas Kahwe
03:39
created

No notable changes

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

9.52
▶   ± 0
Head
Lukas Kahwe Smith  
Merge pull request #690 from javiereguiluz/more_doc_fixes
2 more commits
Base
Maksim Kotlyar  
Merge pull request #691 from yceruto/fixed-build-issues