Completed
Push — master ( 1a684b...f7cbf1 )
by Christian
03:21 queued 14s
created
9.29
▶   ± 0
Test Coverage
47%
▶ ±0%
Head
Christian Flothmann  
use the timestamp too when comparing statements
Base
Christian Flothmann  
fix some edge cases in equals() methods