This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Add missing branchpoints to gdb.git?
- From: Joel Brobecker <brobecker at adacore dot com>
- To: gdb-patches at sourceware dot org
- Date: Fri, 19 Aug 2011 11:02:06 -0700
- Subject: Add missing branchpoints to gdb.git?
Hello,
While working with the gdb git mirror, I noticed that it was missing
3 branchpoints. I was using a script that needs them, so I created
the tags in my repo. Should we create the tags in the reference git
mirror as well? Here are the associated SHA1s...
gdb_7_2-2010-07-07-branchpoint: cd4c6c46d781fe20f1a73c9e07c0fbc05bfc8a0c
gdb_7_1-2010-02-18-branchpoint: e16b3828eafec635405cc34beb8f08db117d7331
gdb_7_0-2009-09-16-branchpoint: a4a5c910c73f0bf2b7d063912274461838139423
I would gladly create them, except that I don't think I have write
priviledges... Tom, maybe?
--
Joel