This is the mail archive of the
gdb-prs@sourceware.org
mailing list for the GDB project.
[Bug python/10782] type.pointer() does not seem to be documented
- From: "tromey at redhat dot com" <sourceware-bugzilla at sourceware dot org>
- To: gdb-prs at sourceware dot org
- Date: 23 Nov 2009 22:13:52 -0000
- Subject: [Bug python/10782] type.pointer() does not seem to be documented
- References: <20091015075159.10782.pmuldoon@redhat.com>
- Reply-to: sourceware-bugzilla at sourceware dot org
------- Additional Comments From tromey at redhat dot com 2009-11-23 22:13 -------
Fix checked in.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
http://sourceware.org/bugzilla/show_bug.cgi?id=10782
------- You are receiving this mail because: -------
You are on the CC list for the bug, or are watching someone who is.