2 Commits

Author	SHA1	Message	Date
su-ex	80e65529bb	Change GitHub branch for release	2021-01-14 21:17:56 +01:00
su-ex	ed9740a4c2	Add script to deploy a release on GitHub	2021-01-13 21:47:11 +01:00