Completed
Push — master ( a0b782...eff92b )
by Marek
17s queued 14s
created

No notable changes

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

4.17
▶   ± 0
Head
Marek Haičman  
Merge pull request #222 from dahaic/small_fixes_4
3 more commits
Base
Marek Haičman  
Merge pull request #219 from dahaic/small_fixes_3