sqlippool in 3.0

[Arran Cudbard-Bell]

> On 11 Oct 2013, at 11:17, Phil Mayers <p.mayers at 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?