Removal of 2 ARM tags

[Thomas Preudhomme]

[Message got stuck in my outbox for some reason]

On Monday 11 April 2016 08:03:53 Joel Brobecker wrote:
> > I made a mistake when creating a tag for the version of GDB we used in
> > our GNU ARM embedded tools release 2016Q1. I created a correct tag now
> > and would like the following tags to be removed from the git server:
> > 
> > users/ARM/users/ARM/embedded-gdb-2_26-branch-2016q1
> > users/ARM/embedded-gdb-2_26-branch-2016q1
> > 
> > It's the first release we did with a branch on sourceware and we
> > didn't build from that branch for gdb so removing it should be safe at
> > this point. The git repository does not allow tag removal (a safe
> > default IMO) so could someone remove it for me?
> 
> users/ARM/users/ARM/embedded-gdb-2_26-branch-2016q1 (20d977d)
> users/ARM/embedded-gdb-2_26-branch-2016q1 (20d977d)
> 
> tags deleted.

That was quick, thanks!

best regards,

Thomas