Hello, What is the 0.7.5 release schedule? Is there one? When will the 0.7.5 branch be tagged? Should the FAQ be distributed as part of the package? Thanks! -- Matthias Andree