Davide De Rosa a4831feb0f Unify release notes ... Discard platform.		2022-10-06 22:31:16 +02:00
..
commit-release.sh	Fix scripts in release workflow	2022-09-23 23:07:12 +02:00
recognize-match-hostname.sh	Reorganize scripts into subfolders	2021-10-05 19:27:02 +02:00
release-notes.sh	Unify release notes	2022-10-06 22:31:16 +02:00