* gdbint.texinfo (POP_FRAME): Document use by return_command.
This page took 0.189499 seconds and 3 git commands to generate.