Completed
Push — master ( c5053d...b2e2fb )
by Delete
04:42 queued 01:50
created

No notable changes

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

9.17
▶   ± 0
Head
Christoph Ziegenberg  
Badge link corrected
3 more commits
Base
Christoph Ziegenberg  
Code optimizations