Hello,

In preparation for the upcoming GDB 7.5.1 release, I have
adjusted the version number in the version.in file.

2012-11-29  Joel Brobecker  <brobecker@adacore.com>

        * version.in: Update GDB version number to 7.5.1.

Thank you,
-- 
Joel