savannah-hackers
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[savannah-help-public] [sr #108488] Can't find bug 3343 (grub bug)


From: Bob Proulx
Subject: [savannah-help-public] [sr #108488] Can't find bug 3343 (grub bug)
Date: Fri, 31 Jan 2014 16:47:44 +0000
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20131215 Firefox/24.0 Iceweasel/24.2.0

Follow-up Comment #1, sr #108488 (project administration):

I do not know how the web page search functionality is coded and therefore
cannot answer about why searching for 3343 does not return any result for bug
#3343.  I will file that as a bug itself to be resolved.

Since you know the bug number already you can simply go to it directly. 
Tickets are either "bugs", "task", or "support".  Add the ticket number after
it.  Bug 3343 is:

https://savannah.gnu.org/bugs/?3343

The status is closed, wontfix, and there are no attachments.


    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/support/?108488>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/




reply via email to

[Prev in Thread] Current Thread [Next in Thread]