gdb patch #138708: Success