2 commits

Author	SHA1	Message	Date
Bert van der Weerd	bee53b4e3b	Hopefully git_subs() now correctly pulls the latest from the master branch	2021-04-20 16:10:50 +02:00
Bert van der Weerd	e1ff04a597	added util/upload-distfiles.sh	2021-04-12 13:34:39 +02:00