2 commits

Author	SHA1	Message	Date
JF	1bb7342cdb	Backport Github Actions files from master branch.	2020-09-27 13:10:00 +02:00
JF	29b5caf895	Fix conflict	2020-07-25 16:11:35 +02:00