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

[Tom Tromey]

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

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

Tom