Merge branch 'maint' master
authorAndre Noll <maan@tuebingen.mpg.de>
Sat, 14 May 2022 15:21:42 +0000 (17:21 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sat, 14 May 2022 15:21:42 +0000 (17:21 +0200)
commit5d72d5880a6bd319a8ce2bf7dd2e4921938c77c2
tree8735b0721658100db1a84331dd3868e058759096
parenta79e210f33334b273d11c92a430dd477284ee95a
parentf56e7627e5fbde3705f9241e6bcaeafe8c123674
Merge branch 'maint'

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

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