Use std::string for ui_out_hdr's text fields
[binutils-gdb.git] / gdb / version.in
1 7.12.50.DATE-git