I attach a couple of patches against master as of just now, one to fix the English in a comment, and the other to remove gdb_select.h from gdb/Makefile.in, as it has been moved to gdbsupport/ (this broke "make tags"). -- https://rrt.sc3d.org