Merge branch 'refs/heads/t/para_play'
authorAndre Noll <maan@tuebingen.mpg.de>
Sun, 9 Jul 2017 17:38:40 +0000 (19:38 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 9 Jul 2017 17:38:40 +0000 (19:38 +0200)
A single patch which removes pointless play_task arguments to many
functions in play.c.

Cooking for well over a month.

* refs/heads/t/para_play:
  play: Remove pointless play_task arguments.

1  2 
play.c

diff --cc play.c
Simple merge