2011-05-26 Pedro Alves <pedro@codesourcery.com>
authorPedro Alves <palves@redhat.com>
Thu, 26 May 2011 16:11:45 +0000 (16:11 +0000)
committerPedro Alves <palves@redhat.com>
Thu, 26 May 2011 16:11:45 +0000 (16:11 +0000)
commitc13bd2b52eedbea982bb19b37dc52626001a11b0
tree88fd3c88857e8f8e7d2078ef0cf9f190b2a7c082
parent6938fd346aa1288a347422e96a6bc50f2673a51f
2011-05-26  Pedro Alves  <pedro@codesourcery.com>

gdb/
* infcmd.c (finish_command): Allow async finish in reverse.
gdb/ChangeLog
gdb/infcmd.c