[Bug python/23627] New: document gdb.VERSION

[tromey at sourceware dot org]

https://sourceware.org/bugzilla/show_bug.cgi?id=23627

Bug ID: 23627
Summary: document gdb.VERSION
Product: gdb
Version: 8.2
Status: NEW
Severity: normal
Priority: P2
Component: python
Assignee: unassigned at sourceware dot org
Reporter: tromey at sourceware dot org
Target Milestone: ---

Python exports gdb.VERSION but I believe this has never been
documented. It should be, because it can be handy at times.

[tromey at sourceware dot org]

https://sourceware.org/bugzilla/show_bug.cgi?id=23627

Tom Tromey <tromey at sourceware dot org> changed:

What |Removed |Added
----------------------------------------------------------------------------
Version|8.2 |HEAD