naddy 8dbac5a12d Fix master site.
Switch to .tar.bz2 because only this format is still available.
Comparing the decompressed .tar.gz and .tar.bz2 shows the .tar files to
be identical.
ok sthen@
2019-09-07 11:48:33 +00:00
..
2019-09-07 11:48:33 +00:00
2019-08-10 19:41:07 +00:00