src/external/gpl3/gdb/dist/gnulib/patches