Tom Tromey wrote: > You can still manage to create a PR in the old database by connecting > directly to gnatsd on sources.redhat.com. As far as I can tell there > is no way to disable this without removing the old Java PR database. Why keep the old database? Since all of the PRs got moved into gcc GNATs, what purpose does it serve to keep it alive? regards [ bryce ]