This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [PATCH 1/2] Add objfile.username: improve docs for Objfile.filename
- From: Doug Evans <dje at google dot com>
- To: Eli Zaretskii <eliz at gnu dot org>
- Cc: gdb-patches <gdb-patches at sourceware dot org>
- Date: Tue, 27 Jan 2015 10:05:31 -0800
- Subject: Re: [PATCH 1/2] Add objfile.username: improve docs for Objfile.filename
- Authentication-results: sourceware.org; auth=none
- References: <yjt2fvb5kqc5 dot fsf at ruffy dot mtv dot corp dot google dot com> <83h9vkx0ke dot fsf at gnu dot org>
On Tue, Jan 20, 2015 at 7:41 PM, Eli Zaretskii <eliz@gnu.org> wrote:
>> From: Doug Evans <dje@google.com>
>> Date: Tue, 20 Jan 2015 15:03:06 -0800
>>
>> I have a need to expose objfile->original_name to python.
>> In order to do that I need to tweak the docs for Objfile.filename
>> to distinguish how it's different.
>>
>> 2015-01-20 Doug Evans <dje@google.com>
>>
>> * python.texi (Objfiles In Python) <Objfile.filename>: Improve docs.
>> * guile.texi (Objfiles In Guile) <objfile-filename>: Improve docs.
>
> This is OK, thanks.
Committed, thanks.