What will be the next server version? 1.7.1 or 1.8.0? If no one object, i'll put a tag for the release candidate tomorrow or friday, so people can again break cvs with commits :) Nicolas