From: Andre Noll <maan@tuebingen.mpg.de>
Date: Wed, 21 May 2025 16:42:53 +0000 (+0200)
Subject: Merge branch 'master' into next
X-Git-Url: https://git.tuebingen.mpg.de/?a=commitdiff_plain;h=94f3a151a52ca057942b2a4a99dbf05168150d9b;p=paraslash.git

Merge branch 'master' into next

* master:
  play.c: Kill pointless typedef.
  afs.h: Omit superfluous semicolons.
  Makefile: Drop redundant -Wuninitialized.
---

94f3a151a52ca057942b2a4a99dbf05168150d9b