mpv-player/mpv — pull request #825 by ghedo (2014-06-01 16:42:39+00:00)
Title: player: write file name to the watch later config file

This simply writes the file name as a comment to the top of the watch later
config file.

It can be useful to the user for determining whether a watch later config file
can be manually removed (e.g. in case the corresponding media file has been
deleted) or not.