From: Andre Noll <maan@tuebingen.mpg.de>
Date: Sun, 21 Aug 2022 15:16:32 +0000 (+0200)
Subject: Merge branch 'maint'
X-Git-Tag: v0.7.1~10
X-Git-Url: http://git.tuebingen.mpg.de/?a=commitdiff_plain;h=26243a4b963bc3c59020b0469f1e469025da0ad8;p=paraslash.git

Merge branch 'maint'

Two fixes for para_play.
---

26243a4b963bc3c59020b0469f1e469025da0ad8