Merge branch 'refs/heads/t/para_play' master
authorAndre Noll <maan@tuebingen.mpg.de>
Sat, 16 May 2020 10:14:23 +0000 (12:14 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sat, 16 May 2020 10:15:09 +0000 (12:15 +0200)
commitb3c68fd8519a426d6b6285dcb5a865670285e99a
treeff00546c3b1922423dfe524baa361581d518002f
parente5e7cf0b78313ca5e696a56e8339c7090bf0cca0
parentbe3b6f16706c6a93bd46c6dc48caa8109e7860c6
Merge branch 'refs/heads/t/para_play'

A single patch which adds --end-of-playlist to control the behaviour
of para_play when the end of the playlist is reached.

Cooking for three weeks.

* refs/heads/t/para_play:
  play: New option: --end-of-playlist.
NEWS.md
error.h
play.c