Davide De Rosa fc68c674a5 Address issues with release notes in workflow (#284) ... * In release workflow, infer release notes from CHANGELOG * Retain links in GitHub release notes		2023-04-07 12:08:55 +02:00
..
commit-release.sh	Fix scripts in release workflow	2022-09-23 23:07:12 +02:00
recognize-match-hostname.sh	Fix some issues in scripts	2022-10-17 13:39:54 +02:00
release-notes.sh	Address issues with release notes in workflow (#284)	2023-04-07 12:08:55 +02:00