Hey, ----- Original Message ----- > The 1.11.1 tag should really be on a branch though, otherwise git > doesn't fetch it. Oh right, I guess that explains why I could not find it after a "git pull" and I had to clone again the entire tree... Cheers Olivier