This is the mail archive of the gdb-patches@sourceware.org mailing list for the GDB 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]

Add prms_id and bug_id to the ARI?

From: Joel Brobecker <brobecker at adacore dot com>
To: gdb-patches at sourceware dot org
Date: Wed, 5 May 2010 11:16:33 -0700
Subject: Add prms_id and bug_id to the ARI?

Now that these are gone, I would like to prevent any accidental
re-introduction, so I'm thinking we could use the ARI for that?

Any objection?

-- 
Joel

Follow-Ups:
- Re: Add prms_id and bug_id to the ARI?
  - From: Pedro Alves
- Re: Add prms_id and bug_id to the ARI?
  - From: Tom Tromey

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