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
..
ci	Address issues with release notes in workflow (#284)	2023-04-07 12:08:55 +02:00
local	Add local script to unrestrict app	2022-10-25 09:03:55 +02:00
util	Fix some issues in scripts	2022-10-17 13:39:54 +02:00
commit-beta.sh	Refine platform-specific release notes	2023-04-05 07:59:50 +02:00
merge-released-version.sh	Freeze release workflow (#242)	2022-10-30 12:56:49 +01:00
start-new-version.sh	Bump version	2022-10-31 08:57:05 +01:00