Don't rely on inferior_ptid in record_full_wait
This page took 0.07803 seconds and 3 git commands to generate.