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)
commit7adbab371baac475d54c7672ff523316d7151327
treecf330ca96f0770e873224770d3c8329df9736e9e
parent3e68ddfb40c68b5f2e13eff8aca9de14f7122a5f
parenta18428a8f3aafc582cc3ec1937f54ebbbf0244f3
Merge branch 'refs/heads/t/para_play'

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