This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH]: Beginning of HTML doc patches
On Wed, 21 May 2003, Joseph S. Myers wrote:
>> Except Gerald said to use "PR", rather than "Bugzilla PR" or "GNATS PR".
>> Are you suggesting something different?
> I'm suggesting simply saying "Bug".
Well, the term "PR" is relatively entrenched in our community (and
scripts, for example the convention to add PR 123 to ChangeLogs that
fix it), and not every PR is actually a "bug", but I don't feel strongly.
Using PR to refer to problem reports, bugs,... just seemed convenient.
Gerald
--
Gerald "Jerry" pfeifer@dbai.tuwien.ac.at http://www.pfeifer.com/gerald/