[Bug-gnuzilla] https://gnuzilla.gnu.org/

[David Hedlund]

https://gnuzilla.gnu.org/ do not redirect to 
https://www.gnu.org/software/gnuzilla/ as http://gnuzilla.gnu.org/ do. 
Should not this be fixed?

--
http://gnuzilla.gnu.org