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

[Tom Tromey]

>>>>> "Joel" == Joel Brobecker via Gdb-patches <gdb-patches@sourceware.org> writes:

Joel>  + 12 GDB PRs marked for 14.1 in bugzilla (not listed yet).
Joel>    https://sourceware.org/bugzilla/buglist.cgi?bug_status=UNCONFIRMED&bug_status=NEW&bug_status=ASSIGNED&bug_status=SUSPENDED&bug_status=WAITING&bug_status=REOPENED&list_id=24362&product=gdb&query_format=advanced&target_milestone=14.1

Joel>    The majority are DAP PRs kindly opened by Tom. The rest are various
Joel>    issues.

I'm going to push all my DAP changes now.  Normally I wait a bit longer
but given that these are mostly isolated and a new feature, and since I
have more DAP work (at least one pending bug) that ought to be based on
these.

I removed the target milestone from another one of these bugs.

Tom