Merge branch 'refs/heads/t/para_play' into next
authorAndre Noll <maan@tuebingen.mpg.de>
Thu, 6 Jun 2019 06:36:09 +0000 (08:36 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Thu, 6 Jun 2019 06:36:09 +0000 (08:36 +0200)
commit50f7537192afdbb6dd8f651d304ec59ef55fe172
treed41082afe51f1488b69741604da518c8c7185fcc
parent6fc3175dec1531058b96203b36ecaef847e467f6
parentbe3b6f16706c6a93bd46c6dc48caa8109e7860c6
Merge branch 'refs/heads/t/para_play' into next

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