Merge pull request #138 from pradeepns85/fix_kill_kernelthreads
authorsunghan-chang <sh924.chang@samsung.com>
Tue, 30 May 2017 04:18:25 +0000 (13:18 +0900)
committerGitHub <noreply@github.com>
Tue, 30 May 2017 04:18:25 +0000 (13:18 +0900)
Fix: use task_delete() to kill kernel threads and tasks


Trivial merge