GDB 13 Release Management
- 2022-12-18: gdb-13-branch created
- 2023-02-19: GDB 13.1 released
- 2023-05-27: GDB 13.2 released
[NAME] at the beginning of each item is the name of a point of contact who will help trying to get the issue fixed faster.
The GDB 13.2 Release
Todo:
See also bugs marked "Target Milestone 13.2".
Done:
Excluded:
The GDB 13.1 Release
Done: