Completed
Push — master ( 12875a...b70cc6 )
by Thomas
34:23 queued 19:22
created

No notable changes

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

6.78
▶   ± 0
Head
Thomas Mangin  
do not restart a process without terminating it #972
Base
Thomas Mangin  
give credit where credit is due