Completed
Push — master ( 5c5af0...eb5c1d )
by Thomas
14:15
created

No notable changes

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

6.67
▶   ± 0
Head
Thomas Mangin  
accepting patch suggestion from #908
Base
Thomas Mangin  
free resources before calling thread