Hello, In preparation for the upcoming GDB 7.2 release, I have adjusted the version number in the README file. 2010-09-02 Joel Brobecker * version.in: Update GDB version number to 7.2. -- Joel