Merge branch 'maint'
authorAndre Noll <maan@tuebingen.mpg.de>
Mon, 14 Nov 2022 21:18:04 +0000 (22:18 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Mon, 14 Nov 2022 21:18:04 +0000 (22:18 +0100)
To bring in the 0.5.9 tag.

* maint:
  paraslash 0.5.9

1  2 
NEWS.md

diff --cc NEWS.md
Simple merge