25 Oct
2011
25 Oct
'11
8:08 a.m.
Did something happen to the main git repo around July 10th ish? Since then, I'm unable to merge changes into my local "master"; several commits which I've already pulled have changed IDs e.g. commit db07aa6696271293bf42e35acff2c2a7e1baf907 Author: Alan T. DeKok <aland@freeradius.org> Date: Sun Jul 10 17:30:54 2011 +0200 Add connection pool API Currently unused, but it should be nice... ...changes to: commit c45d143ca34064677d5212697cf061270e031262 Author: Alan T. DeKok <aland@freeradius.org> Date: Sun Jul 10 17:30:54 2011 +0200 Add connection pool API Currently unused, but it should be nice... ...anyone know how I can fix my repo?