From: Andre Noll <maan@tuebingen.mpg.de>
Date: Sat, 14 May 2022 15:21:42 +0000 (+0200)
Subject: Merge branch 'maint'
X-Git-Tag: v0.7.1~21
X-Git-Url: http://git.tue.mpg.de/?a=commitdiff_plain;h=5d72d5880a6bd319a8ce2bf7dd2e4921938c77c2;p=paraslash.git

Merge branch 'maint'

To get the single fix that was just merged to maint.

* maint:
  server: Fix memory leak at exit.
---

5d72d5880a6bd319a8ce2bf7dd2e4921938c77c2