* PROBLEMS: Delete reference to PR gdb/725.
 2002-12-10  Andrew Cagney  <ac131313@redhat.com>
 
+       * PROBLEMS: Delete reference to PR gdb/725.
+       
        * MAINTAINERS (gdb.c++): Add David Carlton.
 
 2002-12-09  David Carlton  <carlton@math.stanford.edu>
 
 
     $ make CFLAGS='-O2 -D__digital__'
 
-
-*-*-linux*-gnu*
----------------
-
-gdb/725: Crash using debug target and regcaches (in 5.3 branch?)]].
-When debugging a threaded application, the maintainer command `(gdb)
-set debug target 1' causes GDB to to into an infinite loop.  To
-work-around this problem, avoid using the maintainer command `(gdb)
-set debug target 1' when debugging a threaded application.
-