This is an automated email from the git hooks/post-receive script.
unknown user pushed a change to annotated tag gdb-13-branchpoint in repository binutils-gdb.
at 1117f2f2513 (tag) tagging 71c90666e601c511a5f495827ca9ba545e4cb463 (commit) replaces gdb-12-branchpoint tagged by Joel Brobecker on Sun Dec 18 08:33:04 2022 +0400
- Log ----------------------------------------------------------------- gdb-13-branch branchpoint
-----------------------------------------------------------------------
No new revisions were added by this update.