Passed
Push — master ( 624685...0b0de5 )
by Maksim
07:07 queued 04:29
created

Changes

1 new patch (Spacing) is available.
9.94
▶   ± 0
Head
Maksim Martianov  
Merge pull request #16 from maksimru/analysis-z3LbmP
1 more commit
Base
Maksim Martianov  
fixes for some sync cases