New ARI warning Sun May 10 01:53:58 UTC 2015

[GDB Administrator]

781a782
> gdb/value.c:3677: deprecated: deprecated set_value_type: Do not use deprecated set_value_type, see declaration for details
gdb/value.c:3677:  deprecated_set_value_type (value, TYPE_TARGET_TYPE (original_type));