11 Oct
2013
11 Oct
'13
6:36 a.m.
On 11 Oct 2013, at 11:17, Phil Mayers <p.mayers@imperial.ac.uk> wrote:
I think this is broken; specifically, "ip_allocation" is used undefined in the successful case.
[I would make a patch, but apparently some major surgery has happend to the upstream repo,
Not that I know of, I'll double check when I get into the office.
and my entire github repo is now broken for git fetch / git merge, and I don't have the time to sort that out now]
git reset --hard HEAD~10 git pull May fix things?