-
Joel Brobecker authored
gdb/ChangeLog: * version.in: Set GDB version number to 7.12.
013fd7c2
To find the state of this project's repository at the time of any of these versions, check out the tags.
gdb/ChangeLog: * version.in: Set GDB version number to 7.12.