[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Savannah-help-public] [sr #107880] 'docs' menu purpose/issues
|
From: |
Karl Berry |
|
Subject: |
[Savannah-help-public] [sr #107880] 'docs' menu purpose/issues |
|
Date: |
Sun, 20 Nov 2011 18:38:00 +0000 |
|
User-agent: |
Mozilla/5.0 (X11; Linux i686; rv:6.0.2) Gecko/20110902 Firefox/6.0.2 SeaMonkey/2.3.3 |
Follow-up Comment #2, sr #107880 (project administration):
Yes, it is a bug. I have a dim recollection of asking Michael, or maybe it
was Sylvain, for an option to disable that useless "Docs" menu item some time
ago.
I trust Michael will get to it in due course.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/support/?107880>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/