This commit was manufactured by cvs2svn to create tag
    'gdb_7_5_1-2012-11-29-release'.
    
    Sprout from gdb_7_5-branch 2012-11-29 09:40:41 UTC gdbadmin <gdbadmin@sourceware.org> 'Update GDB version number in version.in'
    Delete:
        gdb/contrib/ari/create-web-ari-in-src.sh
        gdb/contrib/ari/update-web-ari.sh