Giulio 919a275fe3 DNS is useless; fix tar path in update.sh		2020-09-23 11:13:38 +02:00
..
tgr	DNS is useless; fix tar path in update.sh	2020-09-23 11:13:38 +02:00