| commit | 39b8a8090ed7e8967ceca3655aa5f3a2ae91219d | [log] [tgz] |
|---|---|---|
| author | Pedro Alves <pedro@palves.net> | Wed Jun 22 18:20:42 2022 +0100 |
| committer | Pedro Alves <pedro@palves.net> | Fri Jun 24 11:24:02 2022 +0100 |
| tree | 1fd51e49e5c6dcf14b239c92c7ab0501d325c2e2 | |
| parent | 54603ee2aeaf248220f0f440c322ff02e98cd403 [diff] |
Delete delete_thread_silent delete_thread_silent is no longer used anywhere. Delete it. Change-Id: Iafcec12339861d5ab2e29c14d7b1f884c9e11c0f