Closed madig closed 6 years ago
That will presumably download the most recent one from GF. Do we always want that one or the current 0.80/0.83 one?
Probably the $most_recent. It's also probably neater and more reliable than the hashes.
(It was suggested in the bug to also begin a repository of released versions; which can perhaps do once things are neatly tagged in source form).
Doing:
(returns
Ubuntu.zip
)