On 2/18/2016 4:43 PM, Chapman Flack wrote:
> I have rebased that branch where it belonged. Sorry about any
> disruption. If you have pulled from it before, you may find
> it easiest to just
>
> git checkout master # go back to master branch
> git branch -d port/REL1_5_STABLE-BASE/mingw64 # delete branch
> git remote update
> git checkout port/REL1_5_STABLE-BASE/mingw64
Thank you for the step-by-step :)
Igal