Passed
Push — master ( 9d60e1...ee53cd )
by G
05:13 queued 33s
created

No notable changes

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

9.93
▶   ± 0
Head
Gerd Weitenberg  
added git workflow
Base
Gerd Weitenberg  
remove travis