Re: [PATCH 3/3] Add a gdb.events.frame_change event registry

Tom Tromey
2013-04-29T20:30:01Z

Tom> This patch needs a documentation change for the new Python API.

... oh, and a NEWS entry as well.

Tom