Hi, You're probably aware, but the sources of 7.4.1708 are still missing. Somewhere last night all directories were created, but most of them (all but 'rt') are still empty. Jacco
Thu Sep 14 10:28:21 UTC 2017
Jacco Ligthart <jacco at redsleeve.org>
Hi, You're probably aware, but the sources of 7.4.1708 are still missing. Somewhere last night all directories were created, but most of them (all but 'rt') are still empty. Jacco