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