This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
http://gcc.gnu.org/PR?12345
- From: Gerald Pfeifer <pfeifer at dbai dot tuwien dot ac dot at>
- To: gcc at gcc dot gnu dot org
- Cc: Gabriel Dos Reis <gdr at integrable-solutions dot net>,Matthias Klose <doko at cs dot tu-berlin dot de>,Janis Johnson <janis187 at us dot ibm dot com>
- Date: Mon, 5 May 2003 15:54:47 +0200 (CEST)
- Subject: http://gcc.gnu.org/PR?12345
- References: <20030422102603.A31256@synopsys.com><Pine.BSF.4.53.0304231526470.94127@naos.dbai.tuwien.ac.at><m3ist5gx0k.fsf@uniton.integrable-solutions.net>
On Wed, 23 Apr 2003, Gabriel Dos Reis wrote:
>| PS: Would you have found it preferrable to have some URL schema such as
>| <http://gcc.gnu.org/PR?4711> which then redirects to the proper gnatsweb
>| or Bugzilla entry?
> That would be a useful feature to have (if possible).
Gaby liked the idea, Matthias originally suggested something like this,
and it will make URLs shorter, so unless somebody has a better suggestion
(or spots a problem we missed), I plan to implement
http://gcc.gnu.org/PR?12345
as a shortcut to PR/12345 in gnatsweb (and later, Bugzilla).
Gerald
--
Gerald "Jerry" pfeifer@dbai.tuwien.ac.at http://www.pfeifer.com/gerald/