Completed
Push — develop ( c0819b...45a861 )
by Greg
03:22 queued 01:30
created

No notable changes

There were no notable changes in the changeset which was inspected.

9.83
▶   ± 0
Head
edno  
Merge branch 'develop' of github.com:edno/kleis into develop
1 more commit
Base
Grégory Heitz  
Merge pull request #90 from edno/scrutinizer-patch-1 (remove unused statement)