Completed
Push — master ( dd40b0...40f9d5 )
by Mike
12s
created
6.9
▶   ± 0
Head
mikeSimonson  
Merge pull request #566 from mikeSimonson/pr/558
4 more commits
Base
Kim Hemsø Rasmussen  
Merge pull request #559 from nicolas-grekas/lazy