Completed
Push — master ( 4db484...453116 )
by
unknown
15s queued 11s
created

Changes

1 issue (informational) was introduced.
30 issues were fixed.
5.54
▶   ± 0
Head
Björn Ricks  
Merge pull request #231 from jjnicola/exec-scan-ret
1 more commit
Base
Juan José Nicola  
Merge pull request #230 from jjnicola/ov-killed