New branch 'master' available with the following commits: commit 9afa9d11386f09b72fc3ba9372e47aaf703fa942 Author: Mirko Lindner <mirko at itupw084.itu.chalmers.se.itu.chalmers.se> Date: Wed Dec 10 19:07:29 2008 +0100 changed version if tichy to be used in daily-build