>> What was >> possible with GNATS is querying with the PR number. > > I did say it would be inconvenient. :-( > > See the gcc-bugzilla-query@gcc.gnu.org email, it can generate indexes and send bug reports. >