threads: remove now unused VLC_HIGHLIGHT_MUTEX
commit083fbccf0572201adaf1168875c987135631df18
authorThomas Guillem <thomas@gllm.fr>
Fri, 20 Jul 2018 07:30:36 +0000 (20 09:30 +0200)
committerThomas Guillem <thomas@gllm.fr>
Fri, 20 Jul 2018 07:34:38 +0000 (20 09:34 +0200)
treea733d4ca4c353667056d8ad888788650bca40a2f
parenteac231e7662fd1df14a208fb1cf0766c8fd1e224
threads: remove now unused VLC_HIGHLIGHT_MUTEX
include/vlc_threads.h
src/misc/threads.c