Michael wrote, >OK, fixed that, thanks for pointing this out. >BTW, you could have fixed it for yourself by just fetching tags from >Linus tree. Thanks, How do I do that ? (fetch tags from linus's tree ?) Unfortunately, still learning git. woody