One minor note - your description lists GDB 15.1, the current version is GDB 15.0.50.20240403-0ubuntu1. I mention this to clarify that the SRU requirement of "Development Release Fixed First" is in fact satisfied - a simple look at the version number suggests otherwise. I suggest tweaking the description to clarify that it's actually from 15.0.x.
dep3 headers would also be nice.
I also observe that building this (or the current jammy version) has a stuck 100% gdbserver process (!) but that doesn't appear related to this change. A PPA build would be good though.
Hi Zixing,
One minor note - your description lists GDB 15.1, the current version is GDB 15.0.50. 20240403- 0ubuntu1. I mention this to clarify that the SRU requirement of "Development Release Fixed First" is in fact satisfied - a simple look at the version number suggests otherwise. I suggest tweaking the description to clarify that it's actually from 15.0.x.
dep3 headers would also be nice.
I also observe that building this (or the current jammy version) has a stuck 100% gdbserver process (!) but that doesn't appear related to this change. A PPA build would be good though.