New ARI warning Sat Dec 17 01:54:45 UTC 2011

[GDB Administrator]

973a974
> gdb/top.c:375: deprecated: deprecated safe_get_selected_frame: Do not use deprecated safe_get_selected_frame, see declaration for details
gdb/top.c:375:  deprecated_safe_get_selected_frame ();
978d978
< gdb/top.c:464: deprecated: deprecated safe_get_selected_frame: Do not use deprecated safe_get_selected_frame, see declaration for details
gdb/top.c:464:  deprecated_safe_get_selected_frame ();