Finally...
I just removed those branches.
Another branch that looks like it was missed is "newchrome". Does
anyone know what that one is/was used for? Otherwise, i'll also remove
that one in a week or so.
No idea
> What git command did you use to delete the 17-beta branch?
git push origin :branch-to-remove
That's should be what I tried. Ok, thanks
Sijis
--
Kévin Raymond
(shaiton)
GPG-Key: A5BCB3A2