From: Andre Noll <maan@tuebingen.mpg.de>
Date: Sat, 16 May 2020 10:14:23 +0000 (+0200)
Subject: Merge branch 'refs/heads/t/para_play'
X-Git-Tag: v0.6.3~18
X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=commitdiff_plain;h=b3c68fd8519a426d6b6285dcb5a865670285e99a;hp=b3c68fd8519a426d6b6285dcb5a865670285e99a

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.
---