>>>>> "Phil" == Phil Muldoon <pmuldoon@redhat.com> writes: Phil> 2013-09-18 Phil Muldoon <pmuldoon@redhat.com> Phil> PR python/15579 Phil> * python/python.c: Document gdb.execute command in Python help. Ok. Tom