No need to force a particular version on checkout, now should work with HEAD
No need to force a particular version on checkout, now should work with HEAD

ndmitchell/hoogle,wolftune/hoogle,ndmitchell/hoogle,wolftune/hoogle,wolftune/hoogle,wolftune/hoogle,ndmitchell/hoogle