Re: gnuzilla.gnu.org

2015-09-03 Thread Alfred M. Szmidt 

   What is gnuzilla.gnu.org intended for?

As the project page for the GNU GNUzilla project; see
http://gnuzilla.gnu.org/.

___
gnu-misc-discuss mailing list
gnu-misc-discuss@gnu.org
https://lists.gnu.org/mailman/listinfo/gnu-misc-discuss

gnuzilla.gnu.org

2015-09-02 Thread David Englund/Hedlund 

What is gnuzilla.gnu.org intended for?


Should https://gnuzilla.gnu.org/ be redirected to 
https://www.gnu.org/software/gnuzilla/ ?


___
gnu-misc-discuss mailing list
gnu-misc-discuss@gnu.org
https://lists.gnu.org/mailman/listinfo/gnu-misc-discuss