013fd7c Set GDB version number to 7.12.

Authored and Committed by Joel Brobecker 7 years ago
    Set GDB version number to 7.12.
    
    gdb/ChangeLog:
    
    	* version.in: Set GDB version number to 7.12.
    
        
file modified
+4 -0
file modified
+1 -1