[Bug-gnuzilla] GNU/Linux missing in filename

[David Hedlund]

Should not all the files named icecat-31.8.0.en-US.linux* be 
icecat-31.8.0.en-US.gnu-linux* (note the "gnu-" in say 
https://ftp.gnu.org/gnu/gnuzilla/31.8.0-gnu2/

--
http://gnuzilla.gnu.org