Completed
Push — master ( 7c0f8d...7e18a1 )
by Michael
04:42 queued 01:43
created

Changes

1 new patch (Indentation) is available.
9.36
▶   ± 0
Head
mschmidt  
Fix bug in FInalize handler
1 more commit
Base
mschmidt  
Bug fix to finalize handler