- Fix faulty merge by adding back the 'pthread_kill' call that wakes up the select thread
Attach a file by drag & drop or click to upload
msvensson@pilot.(none) authored