GDB 14 branching & release -- 2023-07-30 update

[Rainer Orth]

Hi Joel,

> Just a quick status update on the GDB 14 branching and release.
>
> Currently, we have a number of issues that we'd like to be fixed
> in GDB 14. Here is the list:

there's also the thread starting at

	https://sourceware.org/pipermail/gdb-patches/2023-July/200852.html

It seems to have stalled, though.

Thanks.
	Rainer

-- 
-----------------------------------------------------------------------------
Rainer Orth, Center for Biotechnology, Bielefeld University