59b1024
Set GDB version number to 7.12.1. gdb/ChangeLog: * version.in: Set GDB version number to 7.12.1. * PROBLEMS: Likewise.