From: mec.gnu@mindspring.com (Michael Elizabeth Chastain)
Attach that message in a change from "open" -> "feedback".
Wait 30 days.
About 80% of cases, nothing happens for 30 days. Then close the PR,
with another little note: "I haven't heard anything for 30 days.
I am closing the PR. If you have problems with a more recent version
of gdb, please file another PR."
About 15% of cases, the original submitter writes back sooner and
confirms that the original bug is closed. Then close the PR.
About 5% of cases, the original submitter says something which indicates
that we shouldn't close the PR.
Mark K already did a 30-day routine on a bunch of Solaris PR's,
and the 30 days ran out, and he closed the PR's.
Anyways, that's how I like to do it.