gdb database not updating

[Christopher Faylor]

On Mon, Aug 04, 2003 at 03:32:20PM -0400, Michael Elizabeth Chastain wrote:
>FYI,
>
>I filed a bug this afternoon: PR gdb/1313, "bad line numbers on very
>tiny functions".  gnats sent me mail about the new bug, but more than
>an hour later, the bug database hasn't been updated.
>
>Stale lock, dead update process, real slow machine ... ?
>
>I'll wait another hour or two and then tell the overseers list.

Weird.  The index got a stray line plunked into it with the word "opcode".
Regenning the gnats index seems to fix the problem.  The PR is viewable
now.

cgf