gdb/713: DO_REGISTERS_INFO is deprecated

[cagney@redhat.com]

Synopsis: DO_REGISTERS_INFO is deprecated

Responsible-Changed-From-To: unassigned->cagney
Responsible-Changed-By: cagney
Responsible-Changed-When: Thu Nov  7 16:15:00 2002
Responsible-Changed-Why:
    mine
State-Changed-From-To: open->closed
State-Changed-By: cagney
State-Changed-When: Thu Nov  7 16:15:00 2002
State-Changed-Why:
    it's been made official by renaming it

http://sources.redhat.com/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gdb&pr=713