Leo Razoumov wrote: > this is a minor thing, but unlike all previous beta releases beta6 is > not tagged in the git repository. Sorry, I always forget to push the tag ... fixed now. --Mike
