Completed
Push — master ( 01ef69...5c5af0 )
by Thomas
12:50
created

No notable changes

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

6.67
▶   ± 0
Head
Thomas Mangin  
free resources before calling thread
Base
Thomas Mangin  
Merge pull request #908 from wavezhang/master