On Thu, 23 Apr 2015, Kamil Dudka wrote:

> Probably not worth to change anything at this point, but the "correct"
> procedure would look like this:
>
> git branch 7_42 curl-7_42_0
> git push -u origin 7_42

Thanks.

I can just as well just delete it and do it again, there's no harm in that and
I haven't wasted much time on it anyway.

-- 
  / daniel.haxx.se
-------------------------------------------------------------------
List admin: http://cool.haxx.se/list/listinfo/curl-library
Etiquette:  http://curl.haxx.se/mail/etiquette.html