From: Andre Noll <maan@tuebingen.mpg.de>
Date: Mon, 14 Nov 2022 21:18:04 +0000 (+0100)
Subject: Merge branch 'maint'
X-Git-Tag: v0.7.2~17
X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=commitdiff_plain;h=81bc7110ff6a4c2d002618b94fcf5aa60cd4cad2

Merge branch 'maint'

To bring in the 0.5.9 tag.

* maint:
  paraslash 0.5.9
---

81bc7110ff6a4c2d002618b94fcf5aa60cd4cad2