2dcf920
Set GDB version number to 8.0.1. gdb/ChangeLog: * version.in: Set GDB version number to 8.0.1. * PROBLEMS: Likewise.