This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

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/


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]