Completed
Push — master ( 32ebb7...dd9889 )
by
unknown
15s queued 12s
created
5.91
▼   -0.02
Head
Björn Ricks  
Merge pull request #257 from jjnicola/flock
7 more commits
Base
Björn Ricks  
Merge pull request #256 from jjnicola/int-progress