diff options
| author | Anton Kindestam <antonki@kth.se> | 2018-12-05 19:02:03 +0100 |
|---|---|---|
| committer | Anton Kindestam <antonki@kth.se> | 2018-12-05 19:19:24 +0100 |
| commit | 8b83c8996686072bc743b112ae5cb3bf93aa33ed (patch) | |
| tree | b09ce6a7ff470b05006622f19914b3d39d2f7d9f /demux/demux_playlist.c | |
| parent | 5bcac8580df6fc62323136f756a3a6d1e754fe9c (diff) | |
| parent | 559a400ac36e75a8d73ba263fd7fa6736df1c2da (diff) | |
| download | mpv-8b83c8996686072bc743b112ae5cb3bf93aa33ed.tar.bz2 mpv-8b83c8996686072bc743b112ae5cb3bf93aa33ed.tar.xz | |
Merge commit '559a400ac36e75a8d73ba263fd7fa6736df1c2da' into wm4-commits--merge-edition
This bumps libmpv version to 1.103
Diffstat (limited to 'demux/demux_playlist.c')
| -rw-r--r-- | demux/demux_playlist.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/demux/demux_playlist.c b/demux/demux_playlist.c index 3a65ada451..0aa542534d 100644 --- a/demux/demux_playlist.c +++ b/demux/demux_playlist.c @@ -25,6 +25,7 @@ #include "options/options.h" #include "common/msg.h" #include "common/playlist.h" +#include "misc/thread_tools.h" #include "options/path.h" #include "stream/stream.h" #include "osdep/io.h" |