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/
